Projects
zkAargon
Aargon is a puzzle game from 1998, where the player completes objectives using lasers and mirrors in a 2D grid. We built zkAargon to prove a solution to a puzzle without revealing how.TypeScript, nextjs, mina, o1jsZoraAgent
A chrome extension to help discover, collect, create and build on Zora using AIOpenAi, Chrome, jina, RAG, vectorDB, Dria, HNSWVerifiable Nearest-Neighbor Search
A verifiable nearest-neighbor similarity search over a database using Flat-indexing and Euclidean distance, using SP1 zkVM.Rust, Embedding, Ollama, Aligned Layer, SP1Skills
Solidity
Rust
TypeScript
Circuit Design