cryptography

Realizing ZK from MPC sounds like a mind-bender if more familiar with ZK but not MPC, but this lecture by Amit Sahai helps build the intuition that it is not only possible, but it can be a transformative tool for converting honest majority protocols into maliciously secure:

Realizing ZK from MPC sounds like a mind-bender if more familiar with ZK but not MPC, but this lecture by Amit Sahai helps build the intuition that it is not only possible, but it can be a transformative tool for converting honest majority protocols into maliciously secure: https://www.youtube.com/watch?v=-HbqdiCzqE4

BDFL of Quilibrium, Eng @ Farcaster, ex-Coinbase, always opinionated, never hydrated

/quilibrium

what a cool idea - run mpc locally across a bunch of "parties", reveal the trace of messages seen by a subset of these parties and that is your zkp - you get integrity of the result but no additional information.

crypto + scientific compute at https://onai.com

Site: https://shriphani.com 

Art: https://instagram.com/life_of_ess

this kind of a zkp wouldn't be succinct though right?

Correct, although there are some ways to reduce the size, and some specific cases where the proofs can be succinct