Official repo of the EVM LLVM project
☆104Feb 22, 2022Updated 4 years ago
Alternatives and similar repositories for evm_llvm
Users that are interested in evm_llvm are comparing it to the libraries listed below
Sorting:
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- The Ethereum Classic Labs working repository for ETC Improvement Proposals.☆11Sep 12, 2020Updated 5 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- [Optimism] State Dumps & Regenesis Automation☆15Apr 10, 2021Updated 4 years ago
- Ethereum's RLP encoding implemented as a Serde data format☆13Oct 10, 2022Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/go-ethereum (Statediffing-fork of the official Go implementation of the Ethereum protocol)☆14May 1, 2024Updated last year
- ☆13Nov 10, 2023Updated 2 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆79Feb 5, 2026Updated last month
- ☆13Sep 25, 2023Updated 2 years ago
- 👟 Jade Service Runner☆16Aug 2, 2021Updated 4 years ago
- ☆14Dec 13, 2024Updated last year
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 4 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- ☆15Apr 8, 2023Updated 2 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- Parity Trace Decoder☆26Dec 18, 2019Updated 6 years ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- ☆18Dec 21, 2025Updated 2 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- ☆35Dec 2, 2018Updated 7 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- Sublime/VS-Code-like command palette for Qt Applications☆18Mar 14, 2020Updated 5 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Feb 24, 2026Updated last week
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- ☆29May 14, 2019Updated 6 years ago
- .lib file for linking against the NT CRT☆19Mar 18, 2022Updated 3 years ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- Collect computer related materials and codes☆20Jan 16, 2026Updated last month
- A Qt based text editor that lazily loads data from disk when necessary.☆26Jan 8, 2015Updated 11 years ago
- The updated PE file manipulation library from RetDec project.☆21Nov 24, 2023Updated 2 years ago
- [Optimism] Service Integration & Rapid Development☆56Apr 11, 2021Updated 4 years ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 3 years ago