GitHub topics: plonky2
wizicer/PlonkScript
Write halo2/plonky3 circuit in easy script language, with a visualizer about halo2/plonky2/plonky3
Language: Rust - Size: 1.26 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0
Sindri-Labs/sindri-rust
A rust client for interacting with the Sindri API.
Language: Rust - Size: 3.49 MB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
bkomuves/plonky2-verifier Fork of codex-storage/plonky2-verifier
self-contained Plonky2 verifier
Language: Haskell - Size: 1.48 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
distributed-lab/zkVerify Fork of zkVerify/zkVerify
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
Language: Rust - Size: 34.1 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0
distributed-lab/plonky2-verifier
Plonky2 Verifier.
Language: Rust - Size: 409 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
broadvilks/PixieZKVM
A simple virtual machine whose execution can be proven in ZERO-KNOWLEDGE. Showcases the intricacies of: Trace Generation | Cross-Table Lookups | RangeChecks | Recursive Proofs / Proof Aggregation
Language: Rust - Size: 30.3 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
distributed-lab/plonky2 Fork of 0xPolygonZero/plonky2
Fork of plonky2 to be used in zkVerify.
Language: Rust - Size: 14.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
NikitaMasych/fibonacci-nostd
Plonky2 Fibonacci no-std | WASM
Language: Rust - Size: 192 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
supragya/PixieZKVM
A simple virtual machine whose execution can be proven in ZERO-KNOWLEDGE. Showcases the intricacies of: Trace Generation | Cross-Table Lookups | RangeChecks | Recursive Proofs / Proof Aggregation
Language: Rust - Size: 60.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
alexmllo/zk-hashes
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
Language: Rust - Size: 63.3 MB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
hrmk1o3/plonky2-bn254-poseidon
Poseidon hash function in plonky2 for the scalar field of BN254 curve
Language: Rust - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
BattleZips/BattleZips-Plonky2
Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy preservation of state execution on EVM blockchains
Language: Rust - Size: 105 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
