polymerdao / plonky2-solidity-verifier
☆78Updated last year
Related projects: ⓘ
- ☆49Updated last year
- ☆154Updated last year
- ☆28Updated last year
- ☆21Updated last month
- ☆64Updated 2 months ago
- ☆66Updated last year
- Plonky2 implementation for intmax ZK rollup☆34Updated last year
- ☆73Updated this week
- ripemd160, modexp(u256 only) circuits☆29Updated 6 months ago
- Core smart contracts for Axiom V2.☆30Updated 8 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆54Updated 2 months ago
- ☆93Updated this week
- General purpose blended execution layer☆48Updated this week
- Out-of-circuit zkEVM implementation☆81Updated last month
- ☆85Updated this week
- The universal zkVM empowering Ethereum as the Global Settlement Layer☆90Updated this week
- EVM ahead-of-time compiler based on the fast evmone interpreter☆90Updated 2 months ago
- 🐺 Starknet Rust types 🦀☆62Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆111Updated this week
- Consensus layer implementation for zkSync Era☆62Updated this week
- ☆70Updated 4 months ago
- The schelling point for ZK applications.☆135Updated 4 months ago
- This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).☆19Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- core protocol repo for mainnet launch☆45Updated this week
- ☆29Updated this week
- ☆21Updated last month
- ☆47Updated this week
- Linea smart-contracts☆70Updated last week
- ☆93Updated last year