Stars
Master programming by recreating your favorite technologies from scratch.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
A CLI tool for threat modeling and visualizing AI agents built using popular frameworks like LangGraph, AutoGen, CrewAI, and more.
A trustless P2P fiat onramp powered by ZK proofs.
An advanced C++ 3D game engine powering an in-production game yet to be announced
6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
A smart contract wallet controlled using email
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity how you want to string parse the emails.
Jeopardy-style CTF challenge deployment and management tool.
A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
Create MPC apps with TypeScript.
A language for building boolean circuits based on TypeScript
An advanced yet simple attack/defence CTF infrastructure in Go
A no_std implementation of groth16 in pure rust, compatible with https://github.com/zkcrypto/bellman, works with wasm and embedded environments