ProvableHQ / serviceLinks
☆13Updated 2 months ago
Alternatives and similar repositories for service
Users that are interested in service are comparing it to the libraries listed below
Sorting:
- ☆26Updated this week
- ☆20Updated last week
- ☆14Updated last year
- Indexer for the various Avail chains☆16Updated 3 months ago
- ☆34Updated last year
- Collection of tests for ZKsync compilers.☆20Updated last month
- ☆15Updated 3 months ago
- General purpose virtual machine for running WASM smart contracts☆23Updated 2 weeks ago
- ☆45Updated 3 months ago
- Bootstrap node for the Avail Light Client☆17Updated last year
- Ola is a provable language for writing smart contracts☆46Updated last year
- Compiler from Rust to Miden Assembly☆90Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆85Updated this week
- ☆63Updated last year
- Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.☆21Updated 8 months ago
- Reference implementation of the node for the Miden blockchain☆77Updated last week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- EVM DRS - EVM Dymension Rollapp Standard☆42Updated last week
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- General purpose Blended Execution layer☆57Updated 3 weeks ago
- ZKsync fork of the LLVM framework (EraVM).☆37Updated this week
- WASM DRS - WASM Dymension Rollapp Standard☆33Updated last week
- ☆22Updated last year
- ☆50Updated last year
- ☆21Updated last week
- Integration testing framework for ZKsync compilers.☆21Updated 3 weeks ago
- Initia optimistic rollup Cosmos SDK modules☆16Updated this week
- Pint, the constraint-based programming language for declarative blockchains☆21Updated last week
- ☆24Updated last year
- ☆16Updated last week