Wyatt Benno pfp

Wyatt Benno

@wyattbenno

8 Following
365 Followers


Wyatt Benno pfp
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
SOTA - Lattice based folding: https://x.com/srinathtv/status/1892701954939490697
1 reply
0 recast
4 reactions

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
Cool progress on Lattice based foldingšŸ”„ https://eprint.iacr.org/2025/247.pdf
0 reply
0 recast
4 reactions

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
Technical founders ā€” embrace your inner polymath.
0 reply
0 recast
1 reaction

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
@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
Wyatt Benno
@wyattbenno
Some of my thoughts on NIVC.
0 reply
0 recast
3 reactions

Wyatt Benno pfp
Wyatt Benno
@wyattbenno
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
Wyatt Benno
@wyattbenno
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