ProvableHQ / aleo-js
☆20Updated last year
Alternatives and similar repositories for aleo-js:
Users that are interested in aleo-js are comparing it to the libraries listed below
- ☆16Updated last year
- ☆13Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 5 months ago
- WASM DRS - WASM Dymension Rollapp Standard☆32Updated this week
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated last week
- ☆29Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆64Updated this week
- minitia with EVM☆34Updated this week
- ☆43Updated 9 months ago
- ☆59Updated 5 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 5 months ago
- ☆33Updated this week
- ☆32Updated 10 months ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated 5 months ago
- High performance EraVM for zkSync.☆23Updated this week
- The zkEVM assembly tools☆10Updated 5 months ago
- EVM DRS - EVM Dymension Rollapp Standard☆41Updated last week
- Grammar specifications for languages and formats in the Aleo ecosystem.☆16Updated 2 months ago
- Configuration and scripts for running Astria☆21Updated 6 months ago
- Consensus layer implementation for zkSync Era☆65Updated this week
- Go implementation of the Blobstream orchestrator and relayer☆29Updated 9 months ago
- Out-of-circuit zkEVM implementation☆80Updated 5 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆60Updated 2 months ago
- Core components of the Polygon Miden rollup☆75Updated this week
- Collection of tests for ZKsync compilers.☆18Updated last month
- Adapter between zk_evm and era-compiler-tester☆19Updated 3 months ago
- ☆14Updated 6 months ago
- FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE☆31Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆85Updated 2 weeks ago
- EVM ahead-of-time compiler based on the fast evmone interpreter☆101Updated 6 months ago