SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

EVM Calldata Zip, aka czip

Example for how to use Circom + Solidity for on-chain ZK verification

Utility for getting starknet contract's class hashes from Scarb projects.

Fork of twitter/communitynotes for conducting a workshop @ FCEN UBA

The first ever NFT collection crafted using the Huff programming language.

Utility for generating SRC5 interfaces ids from Cairo traits

Resources for Cairo 1.0 development.

CLI tool to develop Starknet projects written in Cairo

A Rust implementation of Starknet execution logic

A curated list of awesome Lens Protocol projects, resources, libraries, tools and more

Solidity compiler tooling by @NomicFoundation

Nile plugin adding coverage reports for Cairo Smart Contracts (from Pytest test suite).

Verify Cairo contracts on Starkscan in 1 minute.

Plugin for Nile to deploy and manage upgradeable contracts on StarkNet.

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism

Multi-signature functionality for StarkNet

Una forma de crear contratos y acuerdos inmutables y descentralizados

A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM

A set of tools in order to generate a mock Ethereum Provider and simulate blockchain interactions in tests

OpenZeppelin Nile Plugin example

Starknet client implementation.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Monorepo for all defender-client npm packages

My playgrounderino for starkneterino

A curated list of awesome StarkNet resources, libraries, tools and more