demox-labs / zk-battleship
Aleo instruction implementation of battleship on the Aleo chain.
☆38Updated 2 years ago
Alternatives and similar repositories for zk-battleship
Users that are interested in zk-battleship are comparing it to the libraries listed below
Sorting:
- EVM ahead-of-time compiler based on the fast evmone interpreter☆116Updated 3 months ago
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆33Updated last year
- Linea smart-contracts☆80Updated 8 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆74Updated this week
- General purpose Blended Execution layer☆52Updated this week
- Go SDK for building AVSs on Eigenlayer☆73Updated last week
- zkevm-chain: Deprecated☆89Updated last year
- ☆62Updated this week
- This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).☆20Updated 9 months ago
- ☆79Updated 3 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆115Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆103Updated 3 weeks ago
- Identity Service for Starknet☆59Updated last week
- Axiom Quickstart repository to help you quickly get something built with Axiom.☆30Updated 6 months ago
- A decentralized ZK Rollup AMM written in Cairo for StarkNet.☆59Updated last year
- ☆158Updated 3 months ago
- ☆96Updated last month
- Plonky2 implementation for intmax ZK rollup☆34Updated 2 years ago
- ☆25Updated 8 months ago
- Monad Configured Foundry template☆46Updated 2 weeks ago
- Core smart contracts for Axiom V2.☆32Updated last year
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- JediSwap☆93Updated 11 months ago
- An EVM-equivalent zk-rollup for scaling Ethereum dapps☆46Updated 7 months ago
- ☆75Updated 2 years ago
- ☆128Updated this week
- ☆39Updated 10 months ago
- ☆103Updated this week
- A plugin that brings Starknet to Remix! 🐺 ⭐☆45Updated this week
- Linea implementation based on Besu☆70Updated last month