The best resource you will ever find for getting started with Obsidian, probably

The original p2p version (non-transferable proofs)

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Reader for ICAO 9303 electronic machine readable travel documents.

A performant and modular zkVM framework built for customization and extensibility.

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

a collection of north korean apt articles, analysis and heists attributed to lazarus / bluenoroff / apt38.

A generative world for general-purpose robotics & embodied AI learning.

CLI to manage emails

A reverse-engineered Bose Connect imitation program for Linux.

Notion staging site for coursetexts.

Making learning sh*t less annoying

Circom to Gnark Groth16 parser and recursion example

🏝️

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

🏰 the first JSON-like Byzantine Fault Tolerant CRDT

Mirror repository of https://gitlab.nic.cz/knot/c-dns.

Lecture video processing scripts 🎥

Noir library to verify JWT tokens, and prove claims.

r0-zkEmail DKIM verification

Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community

Trust & Safety tools for working together to fight digital harms.

A smart contract wallet controlled using email

SDK for private data access, built on homomorphic encryption.

Poseidon hash function