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 🧵
显示更多
