Content pfp
Content
@
0 reply
0 recast
0 reaction
EulerLagrange.eth pfp
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
34 reactions
binocularsXL🚀 pfp
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 pfp
EulerLagrange.eth
@eulerlagrange.eth
You ever hear the where's Waldo example?
2 replies
0 recast
1 reaction
EulerLagrange.eth pfp
EulerLagrange.eth
@eulerlagrange.eth
https://warpcast.com/eulerlagrange.eth/0x389db45b
1 reply
0 recast
1 reaction
binocularsXL🚀 pfp
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 pfp
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🚀 pfp
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
EulerLagrange.eth pfp
EulerLagrange.eth
@eulerlagrange.eth
Yes https://github.com/Hmac512/BBS-predicate-proofs-SNARK/blob/becccfc43eb1c41c933d81cc5358da8ce993da4c/src/bounds.rs#L103
1 reply
0 recast
1 reaction
binocularsXL🚀 pfp
binocularsXL🚀
@binocularsx
Couldn’t understand any of the libraries imported, ran it through ChatGPT to understand But the comments helped me to understand, code is pretty clean tbh
1 reply
0 recast
0 reaction
EulerLagrange.eth pfp
EulerLagrange.eth
@eulerlagrange.eth
Zk libraries are gonna be impossible to understand. Not because you’re not smart, but because they use a lot of advanced optimizations speed that are not self-Evident. https://github.com/Hmac512/ec-basepoint-funsies/blob/76a357c82c21bcfc16a715c9a36aa2c496b0ab79/ec_basepoint.py#L7 If you don’t care about speed, an elliptical curve can be written in like 50 lines of Python
1 reply
0 recast
0 reaction
binocularsXL🚀 pfp
binocularsXL🚀
@binocularsx
Okay this seems easier to understand So if this is slower, does that directly translate to the level of security it provides?
0 reply
0 recast
1 reaction