Veridise
@veridiseinc
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
ID: 1503425787998789632
https://www.veridise.com/ 14-03-2022 17:40:43
1,1K Tweet
4,4K Followers
439 Following
.Jon Stephens introduced LLZK, a unified intermediate representation for ZK circuit DSLs, at ETH Denver. Since then, we've made solid progress and will have more to share in the coming weeks. Thanks House of ZK for having us!