Luke Pearson
@lukejdpearson
ID: 1155793490669912064
29-07-2019 10:53:36
159 Tweet
4,4K Followers
428 Following
Our Coda paper "Certifying Zero-Knowledge Circuits with Refinement Types" got accepted by IEEE S&P ! (Top 1 security venue) We used Coda to formally verify crucial circuits PSE @ Ethereum (account moved), Sismo, iden3 and many others. Congrats to all our students MisakaCenter and
Lombard is excited to announce our $16M seed round to kick-start the Bitcoin restaking ecosystem led by Polychain! With additional participation from BabylonChain, dao5, Franklin Templeton, Foresight Ventures , Mirana Ventures, Mantle Ecosystem Fund, Nomad Capital, OKX Ventures, and
🚨 Advisor Announcement! Luke Pearson 🌐 Crypto visionary & General Partner at Polychain Capital since 2021. Deeply rooted in cryptography, pioneering Zero Knowledge tech for scalable, secure blockchain systems. Committed to advancing financial liberation through innovation