SoraSue
@SoraSue77
Researching practical cryptographic obfuscation. Co-founder of @zkemail and @machina__io. Lead of the iO team at @ethereumfndn.
加入 November 2016
586 正在關注 2.6K 粉絲
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!
