StefanBratanov / chottoView external linksLinks
Ethereum's Power of Tau client CLI implementation written in Java
☆21Sep 5, 2023Updated 2 years ago
Alternatives and similar repositories for chotto
Users that are interested in chotto are comparing it to the libraries listed below
Sorting:
- ☆10Jun 25, 2025Updated 7 months ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Mar 17, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Jan 28, 2023Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- The Ethereum Improvement Process☆17Mar 17, 2018Updated 7 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- A workshop to learn how to write programs in bitcoin script☆19Mar 25, 2023Updated 2 years ago
- ☆50Mar 7, 2024Updated last year
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- ETHPrague☆31Sep 29, 2023Updated 2 years ago
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61May 2, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- ☆76Mar 30, 2023Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Jul 25, 2024Updated last year
- Ethereum EIP-4844 KZG Powers of Tau ceremony client☆75Jun 9, 2023Updated 2 years ago
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37May 28, 2022Updated 3 years ago
- ☆40Sep 23, 2022Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- Cryptography for Ethereum Verkle Trees☆42Jun 14, 2024Updated last year
- ☆12Jul 8, 2024Updated last year
- A CLI tool to for crypto functions☆13Jan 13, 2025Updated last year
- A STARK proof of Bitcoin's header chain☆42Apr 29, 2024Updated last year
- ☆10Aug 11, 2020Updated 5 years ago
- Automated setup and configuration for most of OpenAustralia Foundation's servers☆11Updated this week
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- STM32 based CHIP-8 and Super-CHIP emulator☆11Mar 22, 2020Updated 5 years ago