Content
@
0 reply
0 recast
0 reaction
EulerLagrange.eth
@eulerlagrange.eth
https://eprint.iacr.org/2022/190.pdf "Short-lived zero-knowledge proofs and signatures" Apparently my off the dome idea was written as a paper by J. Bonneau. Admittedly his thinking is more concrete than my casts
6 replies
0 recast
21 reactions
binocularsXLš©
@binocularsx
Is there a āzero-knowledge protocol for dummiesā book? I understand the general concept but you just took me for a spin rnš
1 reply
0 recast
0 reaction
EulerLagrange.eth
@eulerlagrange.eth
You ever hear the where's Waldo example?
2 replies
0 recast
1 reaction
EulerLagrange.eth
@eulerlagrange.eth
https://warpcast.com/eulerlagrange.eth/0x389db45b
1 reply
0 recast
1 reaction
binocularsXLš©
@binocularsx
So to prove Waldo (knowledge) is there while not giving any information on where he is (data). As long as itās correct Okay Iām following now, thanks for the example
1 reply
0 recast
1 reaction
EulerLagrange.eth
@eulerlagrange.eth
There's two parts of "ZK" 1. Verifiable compute 2. Hiding inputs For privacy preservation we care about #2 (prove you're over 21 w/o disclosing bday). Sometimes we don't care about hiding inputs but just want to reduce a lot of compute into a short proof, like a "zk-rollup" which academics will say should be called a validity rollup
1 reply
0 recast
1 reaction
binocularsXLš©
@binocularsx
So if I was to fill a form that asks me to prove Iām over 21 The input I put in wonāt be seen by the other party? But it will show that I am in fact over 21
1 reply
0 recast
1 reaction
