Skip to content

Latest commit

Β 

History

History
7 lines (5 loc) Β· 374 Bytes

File metadata and controls

7 lines (5 loc) Β· 374 Bytes

Learning Zero Knowledge Proofs

Practice Problem 1 πŸ”—

Create an arithmetic circuit that takes signals x₁, xβ‚‚, …, xβ‚™ and is satisfied if at least one signal is 0.

Practice Problem 2 πŸ”—

Create an arithmetic circuit that takes signals x₁, xβ‚‚, …, xβ‚™ and is satisfied if all signals are 1.