The concept originates from mathematician George Boole, who in the 19th century developed an algebraic system of logic using only two values: true and false. In computer science, this binary way of ...

In contrast to Boolean circuits, non-Boolean circuits based on the cellular neural network demonstrate that spintronic devices can potentially outperform conventional CMOS devices. Energy versus delay ...

Efficient zero-knowledge (ZK) proofs for arbitrary boolean or arithmetic circuits have recently attracted much attention. Existing solutions suffer from either significant prover overhead (i.e., high ...