
COO @ Pluto |||

Writing stuff occasionally at mirror.xyz/brunny.eth |||

Previously Head of Ecosystem at Aztec Labs

This one is longer, I had a HIGH LEVEL idea on how to improve proving speeds. It’s simple

Assume we have a ZKP scheme with a tunable parameter for the security strength.

Where:

High security -> Slow
Low security -> Fast

We can tune the parameter to be faster, and curb the security by measuring proving duration…

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

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

Is there a “zero-knowledge protocol for dummies” book?

I understand the general concept but you just took me for a spin rn😭

Meme enthusiast | CS Major |  I like shoes | Shitcaster | Anime

1. Imagine we’re playing where’s Waldo. I claim to where Waldo is, but I don’t want to disclose his position. What I can do is get a giant piece of paper and cut out a whole big enough for his head. Put the paper over the page and just show you his face.

Boom, zk-Waldo

https://warpcast.com/eulerlagrange.eth/0x389db45b

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

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

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

Yes

https://github.com/Hmac512/BBS-predicate-proofs-SNARK/blob/becccfc43eb1c41c933d81cc5358da8ce993da4c/src/bounds.rs#L103

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

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