leonardoalt / tinyzkevmLinks
☆46Updated 3 years ago
Alternatives and similar repositories for tinyzkevm
Users that are interested in tinyzkevm are comparing it to the libraries listed below
Sorting:
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- ☆34Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- A Brainfuck zkVM with Circom.☆59Updated last year
- ☆40Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- ☆17Updated 2 years ago
- Ethereum stateless tools☆45Updated 2 months ago
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- ☆42Updated last year
- Simulate txs to human readable format☆28Updated 2 years ago
- A simple merkle distributor written in Cairo☆38Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- ☆42Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- Sponsored transactions using Permit2☆44Updated 2 years ago
- Testing Ethereum reorgs in a private geth network☆30Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 10 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Black-Scholes StarkNet Library☆49Updated last month