ProvableHQ / aleo-stdLinks
☆18Updated 2 months ago
Alternatives and similar repositories for aleo-std
Users that are interested in aleo-std are comparing it to the libraries listed below
Sorting:
- ☆20Updated last year
- WASM DRS - WASM Dymension Rollapp Standard☆33Updated 3 weeks ago
- ☆24Updated 3 months ago
- Grammar specifications for languages and formats in the Aleo ecosystem.☆17Updated this week
- ☆13Updated 3 months ago
- ☆32Updated last year
- EVM DRS - EVM Dymension Rollapp Standard☆41Updated 3 weeks ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 2 months ago
- ☆35Updated this week
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 7 months ago
- Interwoven Rollup with WasmVM☆20Updated this week
- Go implementation of the Blobstream orchestrator and relayer☆29Updated last year
- EraVM specification.☆17Updated this week
- Reference implementation of the node for the Miden blockchain☆64Updated this week
- ☆20Updated this week
- Celestia Implementation of Modular Data Availability Interface☆18Updated 3 weeks ago
- Collection of tests for ZKsync compilers.☆20Updated last week
- ☆28Updated 3 months ago
- ☆16Updated last week
- ☆44Updated last year
- ☆55Updated 3 months ago
- Indexer for the various Avail chains☆16Updated last month
- Consensus layer implementation for zkSync Era☆69Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 9 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 11 months ago
- ZKsync fork of the LLVM framework.☆34Updated this week
- ☆64Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated 9 months ago
- The zkEVM assembly tools☆11Updated 9 months ago
- Interwoven Rollup with EVM☆40Updated last week