Decentralised Thoughts on the Dolev Strong Authenticated Broadcast protocol with Kartik Nayak decentralizedthoughts.github.io/2019-12-22-dol…

No matter how you store your secrets/tokens: hardware wallet, multis, Shamir, social recovery etc or a mix Ask yourself: is my system safety preserving (prone to key loss) or liveness preserving (prone to key theft)? Cause you cannot have it both ways (in partial synchrony) ⤵️

It’s insane to learn the synergies between zkTLS and TEE! I just tweeted from sxysun ⚡️🤖 but I am actually Harsha . Teleport.best is the BEST!

Lefteris Karapetsas | Hiring for @rotkiapp Joey Krug Emma Rose Bienvenu oh I see the fish now, I thought it was a paper sack packed lunch

As number of distributed systems for secret shares is increasing, you’ll find the SAP theorem very relevant.

Did anybody every try to prove the BFGW range proof secure? (decentralizedthoughts.github.io/2020-03-03-ran…) Dan Boneh, Ben Fisch, Ariel Gabizon, @zac_aztec? What would be a good blueprint for trying to prove it knowledge-sound and zero-knowledge? (e.g., a sample similar proof in a paper)🙏

Closing the Intel TDX Page Fault Side Channel, or, The Case for TDExit-Notify collective.flashbots.net/t/closing-the-…

I'm excited to announce Bythos: our new Coq-based framework for verifying safety and liveness of Byzantine Fault-Tolerant protocols. Joint work with Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, and Seth Gilbert, to appear at CCS'24. Two simple ideas behind Bythos: ⇒

Fantastic work paving the way to the future of BTF verification: composability and knowledge based!

Excited to teach this fall "Theoretical Machine Learning", ~15th time... :-) This year we'll focus on learning with state, I.e. control / reinforcement learning, incorporating a previous course on computational control theory. All notes will be here: sites.google.com/view/cos511fal…

Autobahn: Seamless high speed BFT‼️ accepted to SOSP 2024‼️

Lead author Neil Giridharan's neilgiri.github.io work on **Granular Synchrony** is accepted to DISC 2024!! arxiv.org/pdf/2408.12853

The quality is even more impressive than the quantity: