Wyatt Benno

@wyattbenno

7 Following

826 Followers

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

0 reaction

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

0 reply

0 recast

2 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.)

1 reply

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

1 reaction

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

1 reaction

Wyatt Benno pfp

Delegated Spartan for the win!!

0 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

4 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.

0 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

6 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

Slightly related - what was the result of the spartan-ecdsa work? If there was funding would you have continued it? DMs open on Twitter.

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Add 4s Thaler clip to repost on zk channel 🙏

0 reply

0 recast

0 reaction

Wyatt Benno pfp

Thanks Jesse. This might be a small group of technical wizards to start 😂

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

1 reaction

Wyatt Benno pfp

Some of my thoughts on NIVC.

0 reply

0 recast

3 reactions