zk

zk

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

avi pfp

one year ago JOLT had a 500k times overhead for proving a RISC-V program when compared to running the same program but without proving its execution. that overhead is now reduced to 100k

0 reply

0 recast

4 reactions

Savio pfp

What if: 1. Writes private circuit in Noir 2. Verifies Noir proof in zkVM 👀

0 reply

0 recast

0 reaction

Jithin Raj pfp

Founders/Builders: If you had to choose a zkVM today, what’s your pick and the one killer reason (throughput, cost, DX, roadmap, security model)? Links welcome.

1 reply

0 recast

4 reactions

Wesley— oss/acc pfp

Wesley— oss/acc

What example made the concept of ZKP "click" for you? The Ali Baba cave? Find waldo? What's your go-to explanation?

2 replies

0 recast

14 reactions

darby pfp

vitalik says more zk 🗣️ https://farcaster.xyz/vitalik.eth/0x9e6f596b

0 reply

0 recast

3 reactions

Richard Opany pfp

@richiejuma1603

Follow,recast and comment, ill follow back Gm 😊

0 reply

0 recast

1 reaction

Ben W* pfp

@bendoubleu.eth

Really enjoy some of the ZK stuff @cyfrin is doing. Here's some basic ZK Math explained: https://www.cyfrin.io/blog/zk-math-101-binary-operators-and-group-theory

0 reply

0 recast

5 reactions

christopher pfp

Is it possible to accelerate zk proofs using GPUs? Multi-scalar multiplication/computing linear combinations of elliptic curve points — that can clearly be done with GPUs? So long as you get the circuit inputs over API or onchain, proof generation is a bit slower but MSM should be nearly instant.

4 replies

0 recast

5 reactions

HH pfp

1 reply

0 recast

13 reactions

Mantej Rajpal pfp

Global-Scale Secure MPC Using this protocol in zkTLS, you can achieve security even when the majority of notaries are dishonest/malicious. https://eprint.iacr.org/2017/189.pdf

2 replies

0 recast

5 reactions

LΞovido pfp

Any ZK researchers here? Curious to hear about ZK location to maintain user's privacy Working on a POC for an iOS mobile app

0 reply

0 recast

5 reactions

eirrann | he/him pfp

eirrann | he/him

Here's a solution that GPT thinks would work. It took less time for it to come up with this idea than for me to explain the problem requiring a solution. Is @eulerlagrange.eth being insufficiently imaginative in his response to the idea, or is GPT wrong? 𝗭𝗲𝗿𝗼-𝗞𝗻𝗼𝘄𝗹𝗲𝗱𝗴𝗲 𝗦𝗵𝗶𝗽𝗽𝗶𝗻𝗴 (𝗻𝗼 𝗱𝗼𝘅𝘅𝗶𝗻𝗴!) 🚀📦 Problem: Buyers want physical items anonymously. Sellers ship without ever seeing buyers' addresses. Solution (ZK-powered): 𝟭. 𝗭𝗞 𝗜𝗱𝗲𝗻𝘁𝗶𝘁𝘆 𝗟𝗮𝘆𝗲𝗿 Buyer creates a ZK-proof verifying purchase legitimacy without revealing identity/address. 𝟮. 𝗘𝘀𝗰𝗿𝗼𝘄 𝗦𝗺𝗮𝗿𝘁 𝗖𝗼𝗻𝘁𝗿𝗮𝗰𝘁 Crypto funds held securely; released upon confirmed delivery. 𝟯. 𝗗𝗲𝗰𝗲𝗻𝘁𝗿𝗮𝗹𝗶𝘇𝗲𝗱 𝗜𝗻𝘁𝗲𝗿𝗺𝗲𝗱𝗶𝗮𝗿𝘆 Fulfillment centers decrypt addresses via ZK-proof, label & ship anonymously. 𝟰. 𝗭𝗞 𝗔𝗱𝗱𝗿𝗲𝘀𝘀 𝗘𝗻𝗰𝗿𝘆𝗽𝘁𝗶𝗼𝗻 Address encrypted, decryptable only with verified ZK-proof (no identity link). Flow: 𝗕𝘂𝘆𝗲𝗿 → 𝗘𝗻𝗰𝗿𝘆𝗽𝘁𝗲𝗱 𝗔𝗱𝗱𝗿𝗲𝘀𝘀 → 𝗜𝗻𝘁𝗲𝗿𝗺𝗲𝗱𝗶𝗮𝗿𝘆 → 𝗔𝗻𝗼𝗻𝘆𝗺𝗼𝘂𝘀 𝗗𝗲𝗹𝗶𝘃𝗲𝗿𝘆 → 𝗦𝗲𝗹𝗹𝗲𝗿 𝗣𝗮𝗶𝗱 𝗥𝗲𝘀𝘂𝗹𝘁: Seller NEVER sees buyer’s address. Buyer address NEVER publicly linked. 100% doxx-proof transactions!

2 replies

0 recast

2 reactions

EulerLagrange pfp

@eulerlagrange.eth

Onion routing physical goods a terrible idea

1 reply

0 recast

6 reactions

Dean Pierce 👨‍💻🌎🌍 pfp

Dean Pierce 👨‍💻🌎🌍

@deanpierce.eth

I had to travel 200 miles but finally got myself orbed 😄

4 replies

1 recast

7 reactions

shazow pfp

iyzkyk if you zk you know

2 replies

0 recast

5 reactions