ZKsync (∎, ∆) (@zksync): 4/10 Introducing Formal Verification
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- ZKSYNC+60Positive
4/10 Introducing Formal Verification Most rollups rely on human-conducted audits to catch errors. These audits can sometimes miss edge cases or subtle bugs in complex, low-level code like the zk-verifier. ZKsync, however, went beyond human-based audits by using formal…