Geoff

@geoffl

84 Following

53 Followers

exponent pfp

Announcing a special #ETHSydney event before @ethglobal Pragma and Hackathon weekend. Speakers - Marta Adamczyk, @subquerynetwork - @geoffl, Ethereum Foundation - Zeektoshi, @zksync - @sassal.eth & @paulsalis Cc @bobjiang @naddison https://lu.ma/tkddshej

0 reply

2 recasts

4 reactions

Geoff pfp

Announcing a new set of files available for trusted setups. Prepared from contribution #80 of Perpetual Powers of Tau. See here: https://github.com/privacy-scaling-explorations/perpetualpowersoftau/blob/master/README.md#prepared-phase-2-files

0 reply

0 recast

0 reaction

Geoff pfp

I'll attempt a definition: A proving scheme is a method for reducing a computation to a small piece of data. Just as a hash can represent a large document, a ZK proof can represent a computation along with its inputs and outputs.

0 reply

0 recast

2 reactions

Geoff pfp

Adding ZK capabilities to eSIMs promises a bunch of interesting possibilities.

0 reply

1 recast

5 reactions

Geoff pfp

It's a good idea. Only drawback is that it needs extra work for observers to prove validity. And that introduces technical debt for the membership data and proving artifacts. We often want the ceremony to be provably secure to an observer many years in the future.

1 reply

0 recast

2 reactions

Geoff pfp

Attacks that reduce confidence in a setup: 1: Coordinator fakes the whole thing and keeps all the keys. 2: Bots swamp the ceremony, their controller keeps the keys. 3: Someone bribes all participants to keep and hand over their keys (or variations). Solutions: 1: Public IDs; 2: Anti-sybil; 3: Anon contribs.

0 reply

0 recast

0 reaction

Geoff pfp

Trusted setups: ## 🥺 Some proof schemes need a trusted setup as part of their implementation process, which involves collecting computations from many people. We try to make this process easy. ## 😎 We run a Powers of Tau ceremony for Groth-16 phase 1 in BN-254, and we're developing P0tion for Phase 2 ceremonies.

1 reply

0 recast

2 reactions

Geoff pfp

2/2 Could be the originating environment contains private data and that needs to have its privacy preserved. As important as the privacy applications are, it's just a kind of add-on to the main idea.

0 reply

0 recast

2 reactions

Geoff pfp

There's a mis-branding in designating it ZK. A ZK proof is a computation run in one environment, and then transported to another environment as a succinct proof of the computation. Could be the 2nd environment is constrained in its computation capacity (e.g. Ethereum mainnet). 1/2

1 reply

0 recast

2 reactions

Geoff pfp

Hi, I'm Geoff. I'm working with @nicoserranop on trusted setups. Most focussing on the Perpetual Powers of Tau Ceremony (phase 1), and P0tion (phase 2).

0 reply

1 recast

13 reactions