Wyatt Benno

@wyattbenno

8 Following

365 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

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

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

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

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

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

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

Wyatt Benno pfp

What happened in ‘folding’ scheme since 2022? 1. Snark recursion is replaced with ‘folding’ 2022 (KST22) for more efficient IVC. 2. Can use Plonkish, CSS, Air, not just R1CS. 3. Smaller verifier circuit for more efficient recursion. 4. Multifolding, / parallel folding. 5. Non uniform circuit IVC. 6. Can use smaller fields with Lattice or Hashes (post quantum secure). 7. Efficient on-chain verification. (MicroNova) 8. Specialized folding scheme for various scenario …. The story of incremental verifiable computation (IVC) from 2008 (Valiant) to 2025~ 🤯 https://x.com/wyatt_benno/status/1881329005229486449?s=46&t=TPz4beAkRLUXoHXHetMIxA

0 reply

0 recast

5 reactions

Wyatt Benno pfp

Being introduced as a 'serial' founder is actually pretty ridiculous.. For one, "ser, most of the founders I know have been founding all along.." Small win, big win, pivots and all. Secondly, first time founders can easily become serial founders. Many roads 😜 'Technical Founder' is my new go2.

1 reply

0 recast

0 reaction

Wyatt Benno pfp

Google team contributing to zkECDSA is bullish 🔥🔥We are using something similar for the zkBasename PoC but with modified Spartan. There are similar prover times for zkECDSA (4s) with elliptic curves schemes, but this would be much faster (~1s). EC schemes are cheaper to verify on-chain. https://eprint.iacr.org/2024/2010

0 reply

0 recast

3 reactions

Wyatt Benno pfp

Good highlight on how to get fast client-side ZK for Base. https://x.com/NovaNet_zkp/status/1877769892499480688

0 reply

0 recast

1 reaction

Wyatt Benno pfp

@apex777.eth Hey! I want to make a Channel for all ZK and privacy tools on Base. Mind making a post here to help get it started? https://warpcast.com/~/channel/privacy-on-base/join?inviteCode=F2I_D3YJszWa-IRBzuD2uA

0 reply

0 recast

2 reactions

Wyatt Benno pfp

Some of my thoughts on NIVC.

0 reply

0 recast

3 reactions

Wyatt Benno pfp

A channel to discuss privacy ideas for Base network. Starting with initial ideas from @jessepollak https://warpcast.com/jessepollak/0x0b6abea4

1 reply

0 recast

2 reactions

Wyatt Benno pfp

Killer apps that want to use ZK often don't care about ZK for scalability. They care about ZK for privacy or for verifiable compute where they otherwise would not have it. Non-uniform incremental verifiable computation (NIVC) is AWESOME! It is the bedrock, that supports apps that use ZK for consumer-side / privacy / and DePin. Let's understand what it is and why its useful. 🤯 Read: https://blog.icme.io/pick-prove-profit-the-nivc-singularity-2/ Or read thread 1/n

2 replies

5 recasts

18 reactions