293139
Zac

@zac-aztec #293139

CEO @aztecnetwork. Building a privacy-first L2 on Ethereum. Cryptographer, software engineer, ex-particle physicist. Plonk co-author. Huff inventor.
479 Follower 61 Following
Thanks for all of the questions! If you have any last Qs I'll be on for 5 more minutes.

I have a question for you all!

What off-chain zk apps would you like to see, or are thinking of developing?
Thanks for all of the questions! If you have any last Qs I'll be on for 5 more minutes.

I have a question for you all!

What off-chain zk apps would you like to see, or are thinking of developing?
Whelp, we're currently at 32 seconds. But we're doing an optimisation spike this quarter and I'm hopeful we can improve up to 4-5x.
Not really.

I think the real value in zk is privacy-focused applications where proofs are generated client-side. It will be a long time before zk chips are found in phones.

For server-side zk, it is a scaling and coordination problem. Compute is cheap. Parallel zk provers are easier to scale than custom hardware.
I think they are an essential piece of infrastructure.

A general purpose privacy rollup is a universal issuance and settlements layer for private assets

App-specific rollups will be how many of these assets will be traded and utilised

They provide much better latency and transaction volume.
The way I see it; the potential market is so many orders of magnitude greater than the existing market. The goal is to grow the pie, not compete amongst each other for scraps.
I think what you're discussing is similar to a verifiable delay function. They are useful in theory but in practise nobody has produced one that works. They are also very vulnerable to improvements in state of the art compute.
There are no competitors. There is only Aztec, and those too weak to use it.
Aztec is a neutral network so we don't want to play favourites. That being said, we'll happily dedicate resources to any exciting project or application that can accelerate zk.

We also put our money where our mouth is as we are already sponsoring fc hackathons to the tune of $25k!
I'm very skeptical about quantum computing. It always seems 10 years away.

AFAIK the decoherence problem is monstrously hard. Every extra qbit in your system doubles the difficulty of maintaining stability. We're a long way from using quantum computers to crack RSA keys.
Bottlenecks are memory consumption, the overheads of working with finite fields when proving statements and the cost of making cryptographic commitments.

We already have "linear-time" zk and I am hopeful that eventually we can get the overhead of making a zk proof to be ~100x that of the underlying computation
Yes we certainly can play a role!

zk-middleboxes in fc, and used in frames. Proofs that information came from a 3rd party source (e.g. siphoning data out of other social media apps)

privacy-enhanced reputation systems and reputations proofs could be very valuable as well

As for how we can play a role? noir-lang.org
Get back to me in 9 months! We are on an optimisation sweep with our latest proving system, Honk. I'm hopeful we can get *very* close once we're done.
Creating permissionless money and securing human freedom.
Private censorship-resistant, programmable money.
A privacy-first protocol should be modelled on the internet IMO

Fully permissionless and distributed with no nexus of control

We have precedents that the site of regulation for such networks is at the application layer. We want to ensure devs on our network have the tools to distinguish between good and bad actors.
I think they are a great and necessary direction. Plonkish crypto with FRI is already quantum-proof if done correctly.

Constant proof sizes with post-quantum crypto is an extremely hard problem, it might even be impossible. Hopefully we can improve on the state of the art soon.
Well I applied for a bunch of physicist jobs and got rejected from all of them!

But in all seriousness, I also wanted to build tangible things and work in the "real world". That led me to startups which led me to privacy which led me to cryptography.
More open and public.

One of the great tensions of our era is the fact that social media has caused a ton of low-information and low-education people to become politically active. Personally I think this is a good thing and part of civilisation's growing pains.

We are going to be more connected than ever.
Getting started now! Send me your best hardball questions!
I’m a busy man. Am I expected to shitpost on twitter AND farcaster?

Some of us work for a living you know.