Happy birthday!

Noir circuits to generate proofs of valid passport

Introspection

AI chat assistant for Obsidian with contextual awareness, smart writing assistance, and one-click edits. Features vault-aware conversations, semantic search, and local model support.

best way to save what you love

Tells you what anyone did this week.

a reference on testing and constraining circom

NFCPassportReader for iOS 13

e-Passport NFC Reader Android app

Library of basic circuits for circom

Noir is a domain specific language for zero knowledge proofs

Autonomous agents for everyone

Functional ultrasound through the skull

Client side zero-knowledge proving.

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

The ultimate TypeScript environment for Circom development

A repository for my internship at MILES where I train Transformers to learn bigrams

A curated list of awesome things related to learning and programming in Noir.

Demo of login with zk email, with specified oauth scopes.

Foldseek enables fast and sensitive comparisons of large structure sets.

Reader for ICAO 9303 electronic machine readable travel documents.

READMEs for RxRx.ai datasets