Fast EVM assembler in C
☆77Updated this week
Alternatives and similar repositories for evm
Users that are interested in evm are comparing it to the libraries listed below
Sorting:
- ☆16Jun 21, 2021Updated 4 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Sep 8, 2021Updated 4 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Mar 25, 2021Updated 4 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- An ethers interface for fuse and vaults.☆23May 31, 2022Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- erc20 impl in evm assembly☆69May 24, 2024Updated last year
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Nov 18, 2025Updated 3 months ago
- evm toolkit☆359Jun 21, 2024Updated last year
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- ERC-3770☆18Jul 9, 2024Updated last year
- ☆31Feb 19, 2026Updated last week
- [WIP] Rust implementation of the Dark Forest game client☆66Aug 16, 2021Updated 4 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- Rust library to disassemble evm bytecode☆24Jan 11, 2026Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Ethereum Virtual Machine implementation☆160Feb 17, 2022Updated 4 years ago
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- ZKmaps uses ZK proofs to provide a proof of location without sharing the user's actual location☆73Dec 22, 2022Updated 3 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- ☆28Dec 8, 2021Updated 4 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- ☆33Sep 9, 2023Updated 2 years ago
- ZKsync fork of the LLVM framework (EraVM).☆36Dec 18, 2025Updated 2 months ago