zERC20
@zERC20io
Make your everyday tokens private. As simple as connecting a wallet: wrap โ send โ redeem, unlinked. USDC, ETH, BNB, JPYC โ more soon.
Joined October 2023
126 Following 26.9K Followers
The pattern keeps repeating: audits are snapshots, testing misses the one-in-a-quadrillion edge case, and AI now finds bugs humans shipped years ago.The endgame is math. Prove the code correct, don't promise it. Same reason privacy should rest on ZK proofs, not trust. ๐
Show more
0/ As AI systems become more powerful, formal verification โ which is the discipline of using mathematics to prove computer programs correct โ shows more and more promise.
A guest thread by @big_tech_sux, lead developer of @vyperlang ๐งต
Show more
