refcell / koraLinks
All we want is revm and commonware. Leave everything else at the door.
☆40Updated this week
Alternatives and similar repositories for kora
Users that are interested in kora are comparing it to the libraries listed below
Sorting:
- Zig EVM☆34Updated 2 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Breathe air☆25Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- ☆30Updated last year
- Macros + Primitives for PADE format☆29Updated 6 months ago
- storage proof made by sp1☆25Updated last year
- celestia blobs, evm execution☆20Updated 11 months ago
- rust types and services for Zenith 🎀☆29Updated 10 months ago
- Ethereum stateless tools☆45Updated 9 months ago
- A suite of portable, extensible `std` components for the superchain.☆21Updated last year
- C.A.R.P. - Claude Agent Registry Portal☆21Updated 5 months ago
- Composable OP Stack Orchestration☆41Updated 2 years ago
- An onchain battle secured by a VRF, Timelock Encryption, and MMRs.☆22Updated 3 months ago
- ☆31Updated 8 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year
- Pluto Web Prover 🦀☆39Updated 10 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- an introduction to noir, with simple examples☆44Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆70Updated 2 months ago
- ZK Theorem Proving☆10Updated last year
- A Rust library for creating solvers in the OP Stack's dispute protocol☆19Updated 2 years ago
- ☆26Updated 3 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 11 months ago
- ☆18Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 8 months ago
- client side proving☆39Updated 10 months ago