Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
☆76Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for ZkLinalg
Users that are interested in ZkLinalg are comparing it to the libraries listed below
Sorting:
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- ☆60Feb 16, 2026Updated 2 weeks ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Updated this week
- ☆10Nov 20, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- ☆14Feb 20, 2026Updated last week
- Noir compiler enhancements developed by the Blocksense team.☆17Jan 12, 2026Updated last month
- ☆14Oct 19, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- A Swiss knife for Noir☆17Feb 20, 2026Updated last week
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- ☆13Nov 10, 2023Updated 2 years ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- ☆33Feb 14, 2025Updated last year
- An implementation of the Austral language compiler in Rust☆15Apr 25, 2024Updated last year
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated 2 years ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆17May 19, 2024Updated last year
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆43Updated this week
- ☆14Feb 7, 2023Updated 3 years ago
- An use case by use case program to learn solidity☆26Aug 10, 2021Updated 4 years ago
- ZKsync protocol libraries☆21Feb 24, 2026Updated last week
- ☆21Feb 19, 2026Updated last week
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 5 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- ☆37Nov 7, 2025Updated 3 months ago
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Feb 24, 2026Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- DEPRECATED. world-tree repository☆35Dec 3, 2025Updated 3 months ago
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 5 months ago