Decree Fiat Shamir Library
☆12Mar 27, 2024Updated last year
Alternatives and similar repositories for decree
Users that are interested in decree are comparing it to the libraries listed below
Sorting:
- ☆12Sep 11, 2024Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 2 weeks ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Dec 20, 2022Updated 3 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated 9 months ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- secp256k1 ECDSA benchmarks (k256 vs libsecp256k1 vs rust-secp256k1)☆16May 31, 2022Updated 3 years ago
- generate an ECDSA "signature" on any message without a private key☆16Jan 20, 2023Updated 3 years ago
- Obsolete☆14Mar 7, 2023Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- Notes, code and documents done while reading books and papers.☆21Updated this week
- ☆21Apr 16, 2023Updated 2 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆55Feb 26, 2025Updated last year
- ☆25Updated this week
- Client side zero-knowledge proving.☆101Updated this week
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- ☆67May 13, 2025Updated 9 months ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆62Sep 4, 2023Updated 2 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Jun 18, 2023Updated 2 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Jan 8, 2023Updated 3 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆36Feb 11, 2026Updated 2 weeks ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 11 months ago
- Linearly Homomorphic Time Lock Puzzle Library☆31Mar 30, 2020Updated 5 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Feb 7, 2022Updated 4 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆72Nov 6, 2025Updated 3 months ago
- A verifiable supercomputer☆77Jun 26, 2025Updated 8 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆72Jan 6, 2025Updated last year
- A SNARK using towers of binary fields, implemented in Rust .☆128Sep 9, 2025Updated 5 months ago
- ☆46Dec 10, 2025Updated 2 months ago