Trending repositories for language Cairo

Bitcoin Script VM in Cairo

A collection of examples of Cairo smart contracts for Starknet.

Learn how to read Cairo code

Bitcoin Script VM in Cairo

A collection of examples of Cairo smart contracts for Starknet.

Learn how to read Cairo code

A collection of examples of Cairo smart contracts for Starknet.

A EVM block proving backend in Cairo

Learn how to read Cairo code

A EVM block proving backend in Cairo

A collection of examples of Cairo smart contracts for Starknet.

Learn how to read Cairo code

RISC-V ELF interpreter in cairo

A collection of examples of Cairo smart contracts for Starknet.

starknet-staking

A EVM block proving backend in Cairo

Bitcoin ZK client written in Cairo.

Bitcoin Script VM in Cairo

☣️ A framework for building safer memecoins 💸

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

A STARK proof to sync a Bitcoin full node in an instant.

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Code for Account Abstraction workshop using latest Starknet syntax

Public ABIs for the Ekubo contracts

Starknet implementation of the Hyperlane protocol.

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

Cairo STARK proof verifier for Starknet

Learn how to deploy and customize an ERC721 token on StarkNet

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

An interactive tutorial to get you up and running with Cairo v1 and Starknet

RISC-V ELF interpreter in cairo

A EVM block proving backend in Cairo

Bitcoin ZK client written in Cairo.

starknet-staking

A collection of examples of Cairo smart contracts for Starknet.

Bitcoin Script VM in Cairo

Code for Account Abstraction workshop using latest Starknet syntax

Public ABIs for the Ekubo contracts

Starknet implementation of the Hyperlane protocol.

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

☣️ A framework for building safer memecoins 💸

Cairo STARK proof verifier for Starknet

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Learn how to deploy and customize an ERC721 token on StarkNet

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

A STARK proof to sync a Bitcoin full node in an instant.

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

An interactive tutorial to get you up and running with Cairo v1 and Starknet

starknet-staking

Bitcoin Script VM in Cairo

Bitcoin ZK client written in Cairo.

Celestia -> Starknet bridge

Starknet implementation of the Hyperlane protocol.

RISC-V ELF interpreter in cairo

A EVM block proving backend in Cairo

No description

Coloniz empowers you to build smart, autonomous communities effortlessly.

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

An interactive tutorial to get you up and running with Cairo v1 and Starknet

starknet-staking

☣️ A framework for building safer memecoins 💸

Cairo STARK proof verifier for Starknet

A collection of examples of Cairo smart contracts for Starknet.

A STARK proof to sync a Bitcoin full node in an instant.

Bitcoin Script VM in Cairo

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

Learn how to read Cairo code

Celestia -> Starknet bridge

Kakarot zkEVM - rewrite in the latest version of Cairo

Bitcoin ZK client written in Cairo.

No description

Starknet implementation of the Hyperlane protocol.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

A EVM block proving backend in Cairo

Static Analyzer for Starknet smart contracts

Synthetics platform for Starknet, inspired by GMX v2 design.

Bitcoin Script VM in Cairo

No description

Bitcoin ZK client written in Cairo.

Public ABIs for the Ekubo contracts

A toolkit for DAO-like governance on Starknet

RISC-V ELF interpreter in cairo

The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.

A collection of examples of Cairo smart contracts for Starknet.

☣️ A framework for building safer memecoins 💸

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Code for Account Abstraction workshop using latest Starknet syntax

Liquidity aggregator written in Cairo

No description

Contracts for governance of Starknet protocols

Kakarot zkEVM - rewrite in the latest version of Cairo

A starting template for your Dojo world

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

Loot Survivor - onchain arcade

Synthetics platform for Starknet, inspired by GMX v2 design.

Static Analyzer for Starknet smart contracts