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

Write halo2/plonky3 circuit in easy script language, with a visualizer about halo2/plonky2/plonky3

A rust client for interacting with the Sindri API.

An open-source Polygon CDK zkEVM L2 Validium monorepo

Identity infrastructure built to be checked, not trusted. Reference implementation on notional data: issuer-unlinkable, duress-aware, ML-DSA-65 under an audited algorithm-migration path. polaris-oid4vp 1.0.0rc7 is OpenID Certified (OpenID4VP 1.0 + HAIP 1.0 Verifier).

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.

Poseidon hash function in plonky2 for the scalar field of BN254 curve

Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework

Post-quantum private coin: Monero's principles, rebuilt without elliptic curves. Shielded by default, proof of work, hash-based STARK spends, ML-KEM stealth addresses.

Out-of-core STARK proving. Prove a STARK whose execution trace is far larger than RAM, in a fixed small memory budget, by streaming the transforms, commitment, and FRI through fast storage.

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

Plonky2 Verifier.

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

Zero-knowledge ring signatures in a Plonky2 SNARK. Prove you hold a valid RSA-2048 signature from someone in a group, without revealing which member you are.

self-contained Plonky2 verifier

Fork of plonky2 to be used in zkVerify.

Plonky2 Fibonacci no-std | WASM

AI soundness reviewer for plonky2 zero-knowledge circuits