A toy Cairo VM implementation in Rust™
☆73Jun 7, 2022Updated 3 years ago
Alternatives and similar repositories for oriac
Users that are interested in oriac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- ☆40Feb 2, 2022Updated 4 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆578Updated this week
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- ☆36Feb 8, 2022Updated 4 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- ☆41Aug 31, 2023Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Feb 14, 2025Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆377Nov 19, 2024Updated last year
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 3 years ago
- Lightweight Lua EVM☆59May 1, 2022Updated 3 years ago
- A Cairo implementation of NIST P-256 (aka Secp256r1).☆34Apr 7, 2022Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Cairo Language Server☆60Mar 20, 2023Updated 3 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- Home of the Skyro compiler☆43Dec 12, 2022Updated 3 years ago
- ☆36Aug 22, 2021Updated 4 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago
- ✦ Fuse Leveraged Tokens. Leveraged tokens powered by Rari Fuse☆34Aug 11, 2022Updated 3 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- Foundry like framework for starknet contracts☆77Mar 9, 2023Updated 3 years ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Sep 15, 2022Updated 3 years ago
- A client for the Ethereum beacon node APIs☆39Sep 15, 2023Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- Fully typed access to the Erigon db in rust☆104Aug 23, 2022Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 2 years ago
- ☆133Apr 23, 2022Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- Write tests in cairo-lang☆29Apr 17, 2022Updated 3 years ago
- A stack implementation via a single linked list in solidity.☆37Feb 19, 2022Updated 4 years ago
- Poseidon Rust library☆39Mar 13, 2023Updated 3 years ago