Eclipse-Laboratories-Inc / zk-bpf
zero-knowledge execution of eBPF bytecode
☆88Updated last year
Alternatives and similar repositories for zk-bpf:
Users that are interested in zk-bpf are comparing it to the libraries listed below
- ☆34Updated 2 weeks ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆69Updated this week
- ☆122Updated this week
- 🐺 Starknet Rust types 🦀☆69Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Out-of-circuit zkEVM implementation☆79Updated 7 months ago
- The schelling point for ZK applications.☆137Updated 10 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 7 months ago
- EVM ahead-of-time compiler based on the fast evmone interpreter☆111Updated last month
- Cryptographic primitives used in Polygon Miden rollup☆111Updated 2 weeks ago
- ☆52Updated last month
- Core components of the Polygon Miden rollup☆76Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆125Updated this week
- Specification of P2P protocol for StarkNet nodes☆49Updated last month
- ☆62Updated last week
- Smart contracts for onchain verification of SP1.☆84Updated 3 weeks ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆96Updated 2 months ago
- Compress cryptographic outputs via mining☆23Updated 2 years ago
- ☆23Updated last year
- ☆62Updated 10 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 2 weeks ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- ☆58Updated 7 months ago
- ☆79Updated last month
- ☆91Updated 3 months ago
- ☆100Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- NEAR as data availability!☆51Updated 3 weeks ago
- FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE☆30Updated this week
- Go SDK for building AVSs on Eigenlayer☆73Updated this week