Stars
A research prototype for zero-knowledge proofs of AI inference. Not maintained.
Umbral is a Rust Web-framework in which every capability is a plugin
A Groth16/BN254 zkSNARK verifier for CKB-VM, built on arkworks.
Cohort 6 of Ethereum Protocol Fellowship
A collection of DESIGN.md files analysis by popular brand design systems. Drop one into your project and let coding agents generate a matching UI.
Open Source Alternative to Vercel, Netlify and Heroku.
A monorepo of reusable libraries for zero-knowledge technologies.
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Why give away so much of your data just to prove you were there? WifiProof is a privacy-first proof of attendance protocol that combines zero-knowledge geo-location proofs, venue Wi-Fi verification…
Agent skills that give coding agents taste: art direction, reference images and a browser check instead of generic AI pages
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
Libraries for finite field, elliptic curve, and polynomial arithmetic
Skills for agentic development on Solana
an autonomous, onchain AI agent that posts daily build-streak prompts on Farcaster, replies to community members, and tips builders with USDC on Base via x402
Bankr Skills equip builders with plug-and-play tools to build more powerful agents.
Ethereum Consensus Specifications
MIST.cash SDK for integrating private payments into your project
A privacy-preserving voting protocol leveraging Noir ZK-SNARKs (UltraHonk) and ERC-4337 Account Abstraction. Features anonymous membership proofs via on-chain Incremental Merkle Trees and sponsored…
The most advanced free and open-source browser fingerprinting library