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

4 replies

32 recasts

188 reactions

Wyatt Benno pfp

I often find myself torn between pursuing widespread consumer adoption & focusing on B2B adoption for client-side ZKP. Occasionally, you can do both. In this PoC, we address privacy-preserving proof of location, designed to operate on millions of DePin devices (Nova folding scheme ❤️) https://x.com/iotex_io/status/1866900092265038041

0 reply

0 recast

1 reaction

avi pfp

https://paragraph.xyz/@lemniscap/what-will-the-verifiable-web-look-like

0 reply

0 recast

4 reactions

EulerLagrange.eth pfp

EulerLagrange.eth

@eulerlagrange.eth

0 reply

1 recast

7 reactions

avi pfp

verifying pairings instead of computing 🤔 https://youtu.be/rrm5kN2IUrs?si=NfpTyyKTe7T_KsNe

1 reply

1 recast

13 reactions

‍‍ pfp

On the hunt for a wasm-based zkVM prover that I can run in the browser. What I've found so far (good not ideal) https://0xpolygonmiden.github.io/examples/

0 reply

0 recast

2 reactions

‍‍ pfp

so the best zkLogin example and application is the SUI one Please I want to be proven wrong demo https://sui-zklogin.vercel.app paper https://arxiv.org/abs/2401.11735 docs https://sui.io/zklogin

1 reply

1 recast

10 reactions

${*_*} ichristwin pfp$

{*_*} ichristwin

@ichristwin.eth

I was also wondering, aside from asymmetric cryptography, would quantum computers also pose a serious threat to ZK? 🤔

1 reply

0 recast

1 reaction

EulerLagrange.eth pfp

EulerLagrange.eth

@eulerlagrange.eth

The farcaster /zk people party hard

2 replies

0 recast

13 reactions

borodutch pfp

@warpcastadmin.eth

awesome zk timeline of farcaster https://paragraph.xyz/@papajams.eth/farcasters-zk-anons

0 reply

3 recasts

11 reactions

Dan Tehrani pfp

@dantehrani.eth

yAcademy is an awesome org nurturing the next gen security auditors! I worked with them when they did a public audit for spartan-ecdsa. It was a pleasure working with them!

0 reply

5 recasts

56 reactions

Wyatt Benno pfp

I attended a panel entitled: "ZKP vs TEE vs MPC".. These things are not vs: TEE uses ZK (zkDCAP), and ZK can leverage TEE. FHE relies on ZKP to verify encrypted computations. ZKP taps FHE for oblivious proving. MPC and ZKP are close allies, teaming up as coSnark. All of these things are slower than we would like..

2 replies

3 recasts

42 reactions

RPH GRC ↑🔵🎩😺 pfp

RPH GRC ↑🔵🎩😺

Celebrating the one year anniversary of the MINA Foundation moving to Geneva, Switzerland, with a good bunch of key people from the foundation, including Kurt, Evan, Will .. One key takeaway: we're still in builder mode.

1 reply

1 recast

6 reactions

Wyatt Benno pfp

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 reply

15 recasts

97 reactions

Wyatt Benno pfp

Satoshi would be so proud of us..

0 reply

0 recast

5 reactions