搜索结果: 1-8 共查到“知识库 Satisfiability”相关记录8条 . 查询时间(0.078 秒)
Fine-Tuning Decentralized Anonymous Payment Systems based on Arguments for Arithmetic Circuit Satisfiability
digital currencies anonymity zero knowledge
2018/3/6
Digital currencies like Bitcoin and other blockchain based systems provide means to record monetary transfers between accounts. In Bitcoin like systems transactions are published on a decentralized le...
Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability
Zero-knowledge arithmetic circuit ideal linear commitments
2017/9/14
We give computationally efficient zero-knowledge proofs of knowledge for arithmetic circuit satisfiability over a large field. For a circuit with N addition and multiplication gates, the prover only u...
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability
Hardware Trojans Genetic Algorithm Boolean Satisfiability
2016/1/26
Test generation for Hardware Trojan Horses (HTH) detection
is extremely challenging, as Trojans are designed to be triggered by
very rare logic conditions at internal nodes of the circuit. In this p...
Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability
Zero-knowledge Groth-Sahai proofs distributed cryptography
2016/1/4
Groth, Ostrovsky and Sahai constructed a non-interactive Zap for NP-languages by observing
that the common reference string of their proof system for circuit satisfiability admits
what they call cor...
On Co-Optimization Of Constrained Satisfiability Problems For Hardware Software Applications
Applied sciences Constrained satisfiability Hardware Software Co-optimization Transistors
2014/11/7
Manufacturing technology has permitted an exponential growth in transistor count and density. However, making efficient use of the available transistors in the design has become exceedingly difficult....
An Algebraic Analysis of Trivium Ciphers based on the Boolean Satisfiability Problem
Algebraic Analysis Boolean Satisfiability Trivium
2008/9/4
Trivium is a stream cipher candidate of the eStream project.
It has successfully moved into phase three of the selection process un-
der the hardware category. No attacks faster than the exhaustive ...