zk-bankai / soulforgeLinks
☆16Updated 2 months ago
Alternatives and similar repositories for soulforge
Users that are interested in soulforge are comparing it to the libraries listed below
Sorting:
- Polyhedra ZK knowledge base☆26Updated 11 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆19Updated 10 months ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Updated last year
- customizable halo2 circuits batcher☆31Updated last week
- ☆22Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Updated 5 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 11 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆36Updated last year
- ☆28Updated last week
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆39Updated 7 months ago
- Extractable Witness Encryption for KZG Commitments☆29Updated 10 months ago
- Expander Compiler☆39Updated 3 weeks ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆50Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 3 months ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- ☆42Updated 11 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Updated 7 months ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated last month
- Source code for all entries from the 2023 ZPrize competition☆25Updated 11 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Proof system backends for OpenVM.☆32Updated this week
- Circuits for Pluto's `web-prover`☆24Updated 5 months ago
- ☆41Updated 4 months ago
- High performance EraVM for zkSync.☆23Updated 5 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆35Updated 5 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆63Updated 10 months ago
- STARK book☆20Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Circom AES-GCM circuits☆33Updated 2 months ago