Stone Prover.
Stone prover - this repository contains a prover and a verifier for STARKs, and in particular for the CPU AIR underlying the CairoZero programming language.
cairo_native.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
raiko.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave.
Fuel
Sway.
Sway is a language developed for the Fuel blockchain. It is heavily inspired by Rust and aims to bring modern language development and performance to the blockchain ecosystem.
fuel-core.
Rust full node implementation of the Fuel v2 protocol.
Stone Prover.
Stone prover - this repository contains a prover and a verifier for STARKs, and in particular for the CPU AIR underlying the CairoZero programming language.
cairo_native.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
raiko.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave.
Fuel
Sway.
Sway is a language developed for the Fuel blockchain. It is heavily inspired by Rust and aims to bring modern language development and performance to the blockchain ecosystem.
fuel-core.
Rust full node implementation of the Fuel v2 protocol.