SoraSue
@SoraSue77
Researching practical cryptographic obfuscation. Co-founder of @zkemail and @machina__io. Lead of the iO team at @ethereumfndn.
Joined November 2016
586 Following 2.6K Followers
Giving an AI the papers and articles I’ve read and written so far and having it formalize them in Lean feels like copying my brain into a computer!
