zk

zk

Discussions about zero knowledge proofs, related cryptography and its applications.

avi pfp

created a starter pack for folks building in ZK or programable cryptography please let me if i missed someone https://warpcast.com/avichalp/pack/Builders-in-ZK-xt018x

6 replies

29 recasts

143 reactions

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

EmpiricalLagrange pfp

EmpiricalLagrange

@eulerlagrange.eth

Lagrange wrote a paper on dynamic updatable proofs https://x.com/ismael_h_r/status/1879177736176242988?s=46

1 reply

1 recast

7 reactions

Julien Coppola pfp

Merci à @sylve d’être venu partager avec nous l’histoire de @hyle-org ! Il nous a raconté son parcours et expliqué sa vision des Zero Knowledge Proofs (ZK). L’interview complète est dispo sur YouTube et Spotify 🔥 https://youtu.be/2uD76uiaDf0 #ZK #zeroknowledgeproof #blockchain #layer1 #crypto

0 reply

0 recast

2 reactions

EmpiricalLagrange pfp

EmpiricalLagrange

@eulerlagrange.eth

Founders in ZK with that dawg in em gonna steamroll everyone

0 reply

5 recasts

20 reactions

Jens Ernstberger pfp

Jens Ernstberger

Thoughts on how data sovereignty can look like in the future.

0 reply

0 recast

5 reactions

EmpiricalLagrange pfp

EmpiricalLagrange

@eulerlagrange.eth

If you’re interested in ZK def check out Infinite Layers with @thisisrj and Mauro of AlignedLayer https://x.com/eigenlayer/status/1877098965373694307?s=46

0 reply

5 recasts

12 reactions

LΞovido 🎩Ⓜ️🍖🍃 pfp

LΞovido 🎩Ⓜ️🍖🍃

Exploring ZK proofs with /moxito 🍃 Is it possible to privately submit a push-up workout video for analysis to verify the number of push-ups completed, without revealing the actual video? Would an AI model still be required to verify the video?

0 reply

1 recast

5 reactions

bryce.base.eth pfp

Starting a research project around ZK + Attestations with the intent to create a clear path for builders to make proofs from arbitrary signed data. Who should I talk with?

2 replies

0 recast

2 reactions

avi pfp

babe wake up, 1 week in 2025 and perhaps there is already a solution https://x.com/irreduciblehw/status/1877086675907871044?s=46

0 reply

1 recast

9 reactions

jimpo pfp

My team launched our first live service today: a service that creates Merkle-Patrica Trie account inclusion proofs for Ethereum along with every block, using Binius. Currently it's still a proof-of-concept, but one day soon this approach will bring fast stateless clients to Ethereum! https://www.irreducible.com/posts/ethereum-state-proving-service

5 replies

30 recasts

173 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

40 reactions

EmpiricalLagrange pfp

EmpiricalLagrange

@eulerlagrange.eth

ZK is the only tool we have to achieve. Keep polynomialing or latticing

0 reply

0 recast

12 reactions

Igor Stadnyk pfp

Real talk. ZK tech still underrated even at B

1 reply

0 recast

3 reactions

Wyatt Benno pfp

First lattice based folding scheme implementation 👀 https://x.com/nethermindeth/status/1872494705839374681?s=46&t=TPz4beAkRLUXoHXHetMIxA

1 reply

5 recasts

43 reactions