Use your Neovim like using Cursor AI IDE!

A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.

The math library of Lean 4

Decentralized Summation System

A curated list of resources on zkECDSA

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

A Language Server Protocol Implementation for Circom

KYC without doxxing yourself. Prove your identity to a third party without disclosing it.

Noir is a domain specific language for zero knowledge proofs

Execute programs from forge with an open 2-way communication channel between both

A dead-simple API to build LLM-powered apps

SealHub ECDSA verifier contract

zero knowledge proof aggregator for general circuit

The backend framework for crypto apps

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Middleware to compile Circom circuits to Nova prover

zkSNARK implementation in JavaScript & WASM

Homework for Thor's crypto study group

zkSnark circuit compiler