mitan 密谈 ↗ semantic similarity using fully homomorphic encryption
Spartan recursion ↗ make Spartan verification succinct
Sequential ICL ↗ make transformers in-context learn recursive functions
WebAuthn wallet ↗ verify WebAuthn using zero-knowledge
Nozee ↗ anonymous message board using zkSNARKs
HeyAuthn ↗ anonymous event attendee groups using Semaphore
EVMTX ↗ transaction tracing for the EVM using Foundry's Anvil
JBrowse ↗ Jupyter notebook visualizations for genomics