GitHub topics: arithmetic-circuit
zkpyc/zkpyc
The Zero-Knowledge Proof Compiler for Python
Language: Python - Size: 2.73 MB - Last synced at: 24 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
sdiehl/arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
Language: Haskell - Size: 328 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 83 - Forks: 14
StevenReynoso/NandGame
Solutions and Descriptions of each circuit and advanced docs on each circuit created for NandGame
Size: 250 KB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
casweeney/zk-cryptography-research-implementations
A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.
Language: Rust - Size: 258 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
NikosDelijohn/ksa
A synthesizable and modular Kogge-Stone Adder (KSA) implementation in SystemVerilog.
Language: SystemVerilog - Size: 81.1 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
mottla/go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
Language: Go - Size: 1.03 MB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 1
reilabs/lean-circuit-compiler
A tool to extract gnark circuits defined in Go to Lean for formal verification.
Language: Go - Size: 22.5 KB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
VincentDerk/ACircuitMiner
An Arithmetic Circuit Miner
Language: Java - Size: 188 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
COSys-Research/Fixed-Posit
Repository accompanying the paper "Fixed-Posit: A Floating-Point Representation for Error-Resilient Applications" published in IEEE Transactions on Circuits and Systems II
Language: Python - Size: 107 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 2
timlg07/NandGame-Solutions
Solutions for all levels of the NandGame.
Size: 6.79 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 15 - Forks: 5
Blockchain-E-Voting/EthzkSNARK-Voting
Secure E-Voting framework based on Ethereum blockchain and zkSNARK
Language: JavaScript - Size: 4.67 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 26 - Forks: 10
