zERC20
@zERC20io
Make your everyday tokens private. As simple as connecting a wallet: wrap → send → redeem, unlinked. USDC, ETH, BNB, JPYC — more soon.
参加 October 2023
126 フォロー中 26.9K ファン
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. 👇
もっと見る
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 🧵
もっと見る
