(1/🎉) Social structures are built from plausibly deniable interactions, but how do we engineer them into digital systems? Here's TADA: Time-Assured Deniable Authentication! aka my earworm for the past month :) https://t.co/UpSkOQO6pK
for years, notion focused on building foundations for storing and displaying knowledge.
now, our agent can use these foundations to create beautiful docs for your life’s work, while leveraging all the sources you’d need! so much care has gone into the agent, i’m so proud 💛
@kaijuneer yes great question! in the case of a malicious verifier, the deniability of the TADA proof is similar to that of the DV proof (the verifier could've made an accepting proof, since they already know the commitment opening)
(1/🎉) Social structures are built from plausibly deniable interactions, but how do we engineer them into digital systems? Here's TADA: Time-Assured Deniable Authentication! aka my earworm for the past month :) https://t.co/UpSkOQO6pK
@backaes thank u for letting me openly criticize your protocol and then openly criticizing my blogpost in turn <3 dvp walked so tada could run knowing good form
(🎉/🎉) thanks to so many friends (special s/o to @emguoz@backaes@0xZoey) for discussions and https://t.co/de9idXnLse for cultivating the space for this idea to grow :) please reach out to me if any of this sounds interesting!
now, back to my finals ..
(6/🎉) Deniable authentication breathes authenticity into secure digital interactions, and TADA could be its mouthpiece. WIP on circuits here: https://t.co/XgGWVHUfKb and thinking about ideas here: https://t.co/ifkyFG7jHR !
my first ever paper is up on the arxiv! here's my work on biases in hierarchical bayesian inference of gravitational-wave data with astrophysical models :)
https://t.co/OlFemcg3xV