ZKsync (@zksync) “Trust is built long before systems reach production. Thanks to @VeridiseInc for” — TopicDigg
ZKsync
@zksync
Incorruptible financial infrastructure: a network of chains secured by cryptography, not validators.
加入 November 2019
109 正在关注 1.5M 粉丝
Trust is built long before systems reach production.
Thanks to @VeridiseInc for helping strengthen the foundations of Airbender. The path to institutional adoption starts with infrastructure institutions can trust.
显示更多
Ahead of the @zksync Airbender V2 prover upgrade, @the_matter_labs brought us in to build the tools that formally verify their circuits.
Not "we ran the tests and they passed."
Mathematical proof that a whole class of soundness bug isn't there.
显示更多
