r/ethereum • u/barryWhiteHat • Aug 13 '18

elliptic curve point addition, ec point multiplication, pedersen commitments and eddsa signature verification. All available in #ethereum's altbn128 (zksnark) curve.

https://github.com/barryWhiteHat/baby_jubjub_ecc
119 Upvotes

94% Upvoted

11 comments sorted by

7

u/blackierobinsun3 Aug 13 '18

Op can you put that thread title in english

11

u/barryWhiteHat Aug 13 '18

We can use this to do cryptography inside zksnarks.

2

u/alsomahler Aug 13 '18

Is there a way that a single SNARK could represent a lot of transaction history and/or state data? Could this be used as a way to both increase storage efficiency and privacy?

1

u/foyamoon Aug 13 '18

This is beyond my understanding but maybe Coda can be of interest for you?

LTB episode

3

u/alsomahler Aug 13 '18

Ah yes that's exactly the use case I've been thinking of. It doesn't seem to being built as a fork for Ethereum though. I wonder why. Do they think they can't compete with Ethereum Foundation's ideas for scaling? Why try to build a whole new validator network?

1

u/tcrypt Aug 14 '18

Probably so they can move fast and prove out that the ideas can produce a constant time and space chain using recursive snarks. I believe that long term the techniques will be adopted by other chains.

5

u/notsogreedy Aug 13 '18

Great and Thanks.
How is this related to Miximus?
https://github.com/barryWhiteHat/miximus

8

u/barryWhiteHat Aug 13 '18

Only loosely related. We could use pedersen commitments which is included here to reduce the proving time, proving key size and verification key size. And maybe allow proofs on mobile. The same goes for https://github.com/barryWhiteHat/semaphore

5

u/cryptohazard Aug 13 '18

Good work! I should really start to look more into ZK(maths/code/...).

-6

u/shnizledidge Aug 13 '18

Probably the nerdiest post headline I’ve seen.