搜索结果: 1-5 共查到“军事学 Satisfiability”相关记录5条 . 查询时间(0.059 秒)
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...
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...
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 ...