founder @ seismic // cs @ stanford
zator. Verifying a 512-layer CNN w/ Nova
173proactive-refresh. Proactive refresh for accountable threshold signatures
36treasure-house. Private treasuries enabled by ECDH and ZKPs
18kzg-blob. Prove multi-opens of EIP-4844 KZG blobs
16zijkstra. Proving shortest paths with recursive SNARKs
15veil. Your ultimate defender against private key theft.
12learn_iOS_dev. Swift
3x-algorithm. Algorithm powering the For You feed on X
3plonkathon. ying tong's python plonk implementation, based on vitalik's py_plonk
2circom-bigint-pasta. Boilerplate for doing arithmetic modulo pallas & vesta primes in circom
2hydropower_cs229. Jupyter Notebook
1interview_prep. C++
1