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!
