Wyatt Benno (wyattbenno)

'Were it left to me to decide whether we should have a government without privacy, or privacy without a government, I should not hesitate a moment to prefer the latter' - one of the founding fathers...

• 1 reply
• 1 recast
• 3 reactions

Molach's Bargain applies to LLM 😓 You could use succinct verifiable compute (zkp) as a safeguard for re-grounding models. https://app.scholars.io/research/496432/molochs-bargain-emergent-misalignment-when-llms-compete-for-audiences

• 0 replies
• 0 recasts
• 2 reactions

Visiting New York next month as a long term expat in Japan. Who should I meet?

• 0 replies
• 0 recasts
• 2 reactions

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 replies
• 13 recasts
• 52 reactions

So, most ZKP use Elliptic Curves or Hashes as bases. I often find myself in a kool-aid man type scenario when I bring up: Lattice. Lattice are homomorphic, arguably post quantum secure, and use integers. Here is the latest and greatest Lattice based PCS: https://eprint.iacr.org/2024/1293?s=35

• 1 reply
• 9 recasts
• 37 reactions

Introducing 'Proof Parties' - a platform for games and competitions demonstrating the state of the art in ZKP. At ETH Denver I heard a bunch of : "Why is ZK important?" "What can I do with it?" "Show me!" 1/4 thread. Try it: https://zkp.fun/ My blog about it: https://icme.ghost.io/proof-parties-zero-knowledge-proofs-with-friends/

• 4 replies
• 7 recasts
• 44 reactions

I said this many times in 2024.. and not sure how many heard me, so one last time 📣 Zero-knowledge proofs are not just for scaling! i.e not just zkL2/ rollups, validity proofs, or a tool to make ETH 3.0. They are also for privacy and a way for off-chain compute to trigger on-chain actions. Faster ZKP scheme are always great! But smaller and more portable is what I work on DAILY. The demand-side, g2m, prover network design, and tech differs greatly with these assumptions. 🦄

• 0 replies
• 4 recasts
• 31 reactions