
stareight_
@stareight3
you look me?
i love you:)
ALL IN SUCCINCT ❤
@succinctlabs
ID: 1303713839469404160
http://bachtiarcommunity.blogspot.com 09-09-2020 15:16:27
2,2K Tweet
168 Followers
945 Following



Excited to be speaking this afternoon about zkSVMs and ZK more broadly in the Solana ecosystem with Cem | Sovereign and Rachin Kalakheti!










We’re using Lean to formally verify SP1’s correctness in collaboration with Nethermind, experts in formal methods and ZK security.


On Tuesday, May 13, we informed Justin Drake that we had achieved a major milestone: Real-Time Ethereum proving with SP1 Hypercube. His reaction was priceless. Justin generously recorded this segment to explain why real-time proving is a game-changer for Ethereum’s roadmap.





