Nalin's personal website.
Imagine a world where autonomous, intelligent AI is solved. It consists of many agents, some human, some not. Perhaps some that are slaves to the others. Others that are collaborators. And yet others that are chaotic adversaries. This will be a networked world. Hallucinated in the current flowing through the copper cabling of the transatlantic information highways. How would these agents…
By Nalin . Isokratia was developed in collaboration with lermchair (frontend!). In this blog post, we’re excited to present an application uniquely enabled by recursive SNARKs — Isokratia, a trust minimized governance platform with off-chain (free) voting. Live demo at isokratia.xyz Isokratia uses recursive SNARKs to enable trust-minimized governance for off-chain voting platforms. Note that for…
Link to paper At the top of this page, I’ve linked my paper studying the development of “production” zero-knowledge proofs starting from their theoretical roots in computational complexity theory and PCP theorem . I’ve been playing around with zero-knowledge proof based applications for the past few months, and decided to dig in deeper into the theory to understand how they actually work this…