Wyatt Benno

@wyattbenno

8 Following

363 Followers

Wyatt Benno pfp

Just so we all know we can keep privacy and speed with delegating proving w/ holographic snark 😊😎. Logs: `Time elapsed for witness-related (client-side) part of proving w/ delegated Spartan is: 346.279ms Time elapsed for delegated part of proving w/ delegated Spartan is: 6.68s`

0 reply

0 recast

2 reactions

Wyatt Benno pfp

A focus away from ZKP scaling ETH to more general local verifiable compute w/ optional privacy. This plays into zkML, DePin and what I consider the “end game” for ZK.

0 reply

0 recast

2 reactions

Wyatt Benno pfp

So what's new in folding implementations / client-side ZK? So many cool things. But here is a quick update. 1. We made an on-chain verifier that works in ~750,000 gas.. based on the work from PSE. Folding + cheap on-chain verification allows big / aggregated computations to trigger smart contracts cheaply. Read: https://www.novanet.xyz/blog/any-computation-is-verifiable-with-cheap-on-chain-folding-verifiers 2. 3x speed up seen from preliminary NeutronNova work.. ported to zkEngine this means 3 minutes proofs in browser are 1 minute proofs. All pre-webGPU. 🤯 Recent work also moves public param gen time from 24.3s to 3.2s. We will be releasing a concept called "Proof Parties - have fun proving with you friends" in a week or two so.. Stay tuned ⏱️ PR: https://github.com/microsoft/Nova/pull/368

0 reply

35 recasts

94 reactions

Wyatt Benno pfp

0 reply

0 recast

1 reaction

Wyatt Benno pfp

1 reply

0 recast

0 reaction

Wyatt Benno pfp

SOTA - Lattice based folding: https://x.com/srinathtv/status/1892701954939490697

1 reply

0 recast

4 reactions

Wyatt Benno pfp

Cool progress on Lattice based folding🔥 https://eprint.iacr.org/2025/247.pdf

0 reply

0 recast

4 reactions

Wyatt Benno pfp

Technical founders — embrace your inner polymath.

0 reply

0 recast

1 reaction

Wyatt Benno pfp

If A 'ZK'-Prover Network Asks For Your Data. Don’t Give It to Them 🧐 In this post I discuss delegated proving, CoSnarks, zkMPC, zkFHE, schemes that support fast client-side proving, while offloading the expensive prover work to untrusted provers. https://blog.icme.io/zk-prover-networks-want-your-data-dont-give-it-to-them-2/ I argue that prover networks and zkVM should support privacy as a default and the general structure of prover networks.

1 reply

1 recast

2 reactions

Wyatt Benno pfp

Not sure if JOLT will use it in the future either, as the on chain verification gets messy. It was for the offline memory checking portion if I remember correctly. Twist and Shout should fix that. Otherwise - zkML companies were looking into GKR a lot last year.

0 reply

0 recast

1 reaction

Wyatt Benno pfp

China’s eery silence? Not responding with retaliatory tariffs seems to be a good response. 10% brunt paid by US consumers while domestic consumers in China are completely unaffected. Moreover if the yuan becomes weaker as a result of a trade war their products seem more desirable, increasing the lot of many in China. US seems like unreliable trading partner.. etc etc. US side needs a clear strategy..

0 reply

0 recast

2 reactions

Wyatt Benno pfp

Strategic Bitcoin Reserves (SBRs) are a nation-state prisoner’s dilemma. First movers gain, laggards pay more, and suppression is a losing strategy. The Nash equilibrium? Everyone eventually stacks sats. Is the game starting?🎲

1 reply

0 recast

0 reaction

Wyatt Benno pfp

Open-sourcing the world's first zkVM that can work in small places (browsers and such).. https://x.com/wyatt_benno/status/1884693157226463559

1 reply

0 recast

3 reactions

Wyatt Benno pfp

I think we are likely talking about the same thing. *Phala network has an open source repo somewhere. They take the attestation proofs and wrap them :)

0 reply

0 recast

1 reaction

Wyatt Benno pfp

So we all know about zkp with TEE: Yeah. It’s been something called zkDCAP (for SGX) where TEE attestation proofs are too large to fit into blockchain, so we use zk on top to make it more succinct.)

2 replies

0 recast

2 reactions

Wyatt Benno pfp

Yeah. It’s been something called zkDCAP (for SGX) where TEE attestation proofs are too large to fit into blockchain, so they use zk on top to make it more succinct.)

0 reply

0 recast

1 reaction

Wyatt Benno pfp

Imagine if you had zero knowledge while reading this based assessment 😂 It would have to be about some sort of dance move.. or something. https://x.com/succinctjt/status/1882435768632947031?s=46&t=TPz4beAkRLUXoHXHetMIxA

0 reply

0 recast

2 reactions

Wyatt Benno pfp

EC and sumcheck means only MSM no FFT. I understand the small field work for scaling blockchain is with fast hashed based monolithic provers… right now. But tend to agree with Thaler on his view more generally. How much is the speed up engineering efforts? Why does he claim JOLT is the fastest zkVM when both JOLT and HyperNova only commit to the witness? They have the same prover time.

0 reply

0 recast

2 reactions

Wyatt Benno pfp

== Need to plugin to a network == DePin and other web3 tools often need to integrate with cryptographically secure tooling. == Need privacy == Centralized providers require that you send data to them (not private). In special cases of delegated proving this is fine. In other cases this is not acceptable. == Need to run proofs locally == In this case users are benefiting from aggregation and posting to L1, this is what the network specializes in. The network is used to amortize costs among the users. Some examples are zkGames or zkBadge products (we are dog fooding one). Bottom line — who are the customers and what do they want? The incentive 'network' needs to support them. 2/2

0 reply

0 recast

1 reaction

Wyatt Benno pfp

Almost all existing 'prover' networks are focused on Validity proofs; This is where early demand has been seen. But is it total demand? == Want the best == If the provers are specialized proving scheme that can earn a premium, they beat generic schemes on all tasks. Decentralization in this case is to make sure the innovators in the network get paid (DeSci of sorts but based on maths). Same applies to advanced hardware provers. 1/2

1 reply

0 recast

2 reactions