Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
☆21Feb 19, 2023Updated 3 years ago
Alternatives and similar repositories for pazk
Users that are interested in pazk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 18, 2023Updated 3 years ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cargo features alignment tool.☆11Nov 17, 2025Updated 11 months ago
- ☆25Feb 20, 2025Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Dec 7, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆178Mar 24, 2025Updated last year
- ☆10Jun 20, 2023Updated 3 years ago
- Source code for all entries from the 2023 ZPrize competition☆27Jan 29, 2026Updated 9 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automated verification of uniqueness property for ZKP circuits☆52Sep 16, 2026Updated last month
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆56Jun 2, 2024Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- A fast, safe, and portable implementation of HighwayHash for Rust☆18Jun 6, 2023Updated 3 years ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 3 years ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- An advanced fork of Nova (contact:@huitseeker)☆94Mar 3, 2025Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Analog's Chain Connectors☆11Mar 14, 2025Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- A github action to easily build your Substrate WASM runtime using srtool with your CI☆20Jan 2, 2024Updated 2 years ago
- Fork to fix some serialization issues.☆19Apr 12, 2026Updated 6 months ago
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆16Mar 18, 2024Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆55Jun 24, 2026Updated 4 months ago
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 3 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated 2 years ago
- MoonMath Manual notes, exercise solution and extra comments.☆33Jun 28, 2024Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 3 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆240Mar 25, 2026Updated 7 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago