ProvableHQ / aleo-std
☆18Updated last month
Alternatives and similar repositories for aleo-std:
Users that are interested in aleo-std are comparing it to the libraries listed below
- ☆20Updated last year
- ☆24Updated last month
- ☆13Updated 2 months ago
- Grammar specifications for languages and formats in the Aleo ecosystem.☆17Updated last month
- ☆32Updated last year
- WASM DRS - WASM Dymension Rollapp Standard☆33Updated 3 weeks ago
- Experimental Metamask snap for avail☆13Updated 8 months ago
- Go implementation of the Blobstream orchestrator and relayer☆29Updated last year
- ☆44Updated last year
- Collection of tests for ZKsync compilers.☆19Updated this week
- minitia with wasmvm☆20Updated this week
- Compare in-circuit and out-of-circuit VMs☆60Updated 8 months ago
- EVM DRS - EVM Dymension Rollapp Standard☆41Updated this week
- ☆35Updated last month
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 8 months ago
- EraVM specification.☆17Updated this week
- WIP - Exposing light client as a library☆11Updated last year
- Ola is a provable language for writing smart contracts☆42Updated 9 months ago
- zero-knowledge execution of eBPF bytecode☆89Updated last year
- Nitro goes vroom and fixes everything☆20Updated this week
- The zkEVM assembly tools☆11Updated 8 months ago
- ☆60Updated 8 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 2 weeks ago
- minitia with EVM☆38Updated this week
- ☆52Updated 2 months ago
- ☆63Updated 11 months ago
- Indexer for the various Avail chains☆16Updated 5 months ago
- ☆15Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- High performance EraVM for zkSync.☆24Updated this week