Deploy and verify your circuits from your shell

TypeScript Interface for Ethereum

Verifications for deployed circuit verifiers

TypeScript utilities built on viem for ERC-4337: Account Abstraction

PSE Hackathon

MACI Platform - Voting and Funding using MACI

Scaffold ETH 2 MACI Voting Template

Solidity implementation of the baby jubjub curve

Circom circuits explained in depth.

Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀

The repository for high quality Trusted setups for groth16 based SNARKS

A coinflip game (contract and frontend) with real-time randomnness on Arbitrum Goerli Testnet

public audit & bug reports

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies

Code examples in Yul

Low cost VRF (random number generator) for EVM smart contracts

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

Optimized Solidity snippets.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

Heuristics for smart contract auditors

CLI tool to develop StarkNet projects written in Cairo

The most optimized ERC20 & Wrapped Ether implementation.

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Cairo is the first Turing-complete language for creating provable programs for general computation.

Apibara typescript SDK

Noir is a domain specific language for zero knowledge proofs