arnaucube / miksi-core
ethereum zk coin-mixer
☆23Updated last year
Related projects: ⓘ
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated last year
- ☆29Updated last year
- 🐹☆17Updated last year
- DEPRECATED☆20Updated 2 years ago
- a sketch of what a zkvm could look like☆25Updated 3 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 4 years ago
- ☆22Updated last year
- Bitcoin Light Client on Ethereum☆40Updated 2 months ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆16Updated 4 years ago
- ☆11Updated this week
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- Eth2 CLI debugging tool☆35Updated 7 months ago
- ☆14Updated 3 years ago
- ☆24Updated this week
- Solidity error logging☆23Updated 2 years ago
- Starkware Crypto Library☆12Updated last year
- Repository to verify contributions to the AZTEC Ignition ceremony☆12Updated last year
- AZTEC protocol trusted setup MPC☆31Updated 2 months ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Updated 2 years ago
- ☆28Updated 9 months ago
- Gas-optimized EVM multisig☆25Updated 3 years ago
- A toolkit to compile and debug circom circuit.☆23Updated 11 months ago
- ☆14Updated 3 years ago
- Everything you need to create your first account abstraction contract in one place☆28Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago