Join Nostr
2026-01-18 18:49:58 UTC
in reply to

npub1va…knuu7 on Nostr: Right. But does it actually remove the DV part? It's still describing a protocol ...

Right. But does it actually remove the DV part? It's still describing a protocol between a prover and verifier, and it's still describing use of a 2PC between them, just the circuit they're garbling is a much different and simpler one (in fact so simple it's just a single multiplication). So the verifier's secret needs to be there at setup, so it's a DV.

Correct me if I'm wrong. Paper is huge 😁