normal software is finally running the AI checker vs AI attacker loop. zk circuits have been doing this for years. every proof is formal verification by design. vitalik's optimism here is just rest of software catching up to what crypto already shipped. #zkPass#
Show more
