Eclipse-Laboratories-Inc / zk-bpf
zero-knowledge execution of eBPF bytecode
☆83Updated last year
Related projects ⓘ
Alternatives and complementary repositories for zk-bpf
- EVM ahead-of-time compiler based on the fast evmone interpreter☆94Updated 4 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- The schelling point for ZK applications.☆134Updated 6 months ago
- ☆60Updated 6 months ago
- ☆43Updated this week
- ☆59Updated 3 months ago
- Specification of P2P protocol for StarkNet nodes☆45Updated this week
- ☆102Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 3 months ago
- ☆51Updated last year
- ☆49Updated last week
- A storage system inspired by Besu using Starknet Merkle Trees☆59Updated 2 weeks ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated 3 months ago
- ☆30Updated this week
- ☆59Updated 4 months ago
- ☆78Updated 2 years ago
- Poseidon hash circuit☆94Updated 3 weeks ago
- ☆71Updated last year
- Compress cryptographic outputs via mining☆23Updated 2 years ago
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 3 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆72Updated this week
- ☆90Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆72Updated this week
- Core components of the Polygon Miden rollup☆73Updated this week