ProvableHQ / aleo-js
☆20Updated 8 months ago
Related projects: ⓘ
- ☆16Updated 7 months ago
- ☆13Updated 10 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated last month
- Compare in-circuit and out-of-circuit VMs☆59Updated last month
- ☆22Updated this week
- WASM DRS - WASM Dymension Rollapp Standard☆28Updated this week
- EVM DRS - EVM Dymension Rollapp Standard☆38Updated this week
- Grammar specifications for languages and formats in the Aleo ecosystem.☆16Updated 3 weeks ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- ☆59Updated last month
- minitia with EVM☆24Updated last week
- Adapter between zk_evm and era-compiler-tester☆19Updated 3 weeks ago
- minitia with movevm☆18Updated last week
- minitia with wasmvm☆15Updated last week
- ☆32Updated 6 months ago
- Generic Data Availability Interface for Modular Blockchains☆40Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- ☆73Updated this week
- The zkEVM assembly tools☆10Updated last month
- A storage system inspired by Besu using Starknet Merkle Trees☆54Updated 2 months ago
- Go implementation of the Blobstream orchestrator and relayer☆29Updated 5 months ago
- Consensus layer implementation for zkSync Era☆62Updated this week
- General purpose blended execution layer☆48Updated this week
- Out-of-circuit zkEVM implementation☆81Updated last month
- Core components of the Polygon Miden rollup☆67Updated this week
- ☆85Updated this week
- Cosmwasm implementation of ICS-101☆15Updated 6 months ago
- Sequencing Engine for Dymension RollApps☆96Updated this week
- Library for compiled sway programs☆17Updated last week