

Eric
11.2K posts

@LinkedEric
Audit Monger at Large @zellic_io | Advisor @LinkPoolio | Culture @stakedotlink | Fmr @Chainlink Labs | Opinions not even my own



We're proud to announce we’ve partnered with @StoffelMPC on infrastructure that helps strengthen Synchronicity's privacy guarantees for our traders: Asynchronous Distributed Key Generation, eliminating the need for centralized trusted operators that can access network secrets. Helping us protect every strategy you deploy from prying eyes. Join us during our spaces with Stoffel on Thursday 16th at 3pm ET. x.com/i/spaces/1nJOL…












Note that all of our proofs are valid proofs for the statements they claim to prove. The issue lies in those statements not meaning what they were intended to mean. While our circuits were still sound and complete, the flaw in the spec for mainCost allowed us to break the larger protocol functionality – ranking circuits by cost – and place our circuit #1 on the leaderboard. We look forward to following how this competition develops, and all the cool new optimised circuits that will come out of it, once all the kinks are ironed out. Takeaway: Formally verified code is only as secure as the spec it was proved against!
