zk

zk

Discussions about zero knowledge proofs, related cryptography and its applications. Hosted by: @eulerlagrange.eth @avichalp @ncitron.eth @randomishwalk @deanpierce.eth @brunny @colludingnode

Nastya pfp

I wonder why zk isn't used more widely for Authentication usecases. Sounds like win-win: > This improves the experience for users and frees organizations from the need to store huge amounts of user information. https://framly.pages.dev/a/?r=yp1joJkK

1 reply

0 recast

6 reactions

avi pfp

https://warpcast.com/erfannnnnn/0xc6eddff1

1 reply

0 recast

12 reactions

Hylé pfp

🚨 NEW HYLÉ DEMO JUST DROPPED! 🚨 We decided to harness the power of Hylé and Giza together to bring you Vibe Check, a zkML and WebAuthn-powered zkApp. • Identify yourself with WebAuthn. • Take a selfie. Smile and show your great personality! • Find out if you’re vibing. • If you are, Vibe Check will generate 3 zk proofs in a row, which takes a while. • Get 100 totally fictional points.

1 reply

1 recast

5 reactions

avi pfp

https://warpcast.com/lyronctk/0x40788d44

0 reply

0 recast

3 reactions

EulerLagrange.eth pfp

EulerLagrange.eth

@eulerlagrange.eth

Personally I have a hard time understanding the economics of a prover market wrt being venture fundable. Nirel and Nitesh of Strobe have an interesting thesis here that actually easier to follow IMO. https://x.com/yungtesh/status/1815469362083406291?s=46 Lmk if you want to chat with them, building cool stuff

3 replies

3 recasts

20 reactions

avi pfp

python and rust inspired DSL for Halo2 https://github.com/privacy-scaling-explorations/chiquito

1 reply

1 recast

9 reactions

vlayer pfp

🚀 vlayer is the Lead Sponsor at @verifiablesummit. 🌐 Don't miss our co-founders @rvreth and @zkmarek sharing their insights as speakers! 🎟️ Grab your tickets now: https://lu.ma/vsummit24, and stay tuned for more info 👀

0 reply

2 recasts

6 reactions

avi pfp

https://warpcast.com/vitalik.eth/0xfa152627

0 reply

2 recasts

18 reactions

AK 🦂 pfp

"𝗭𝗲𝗿𝗼-𝗞𝗻𝗼𝘄𝗹𝗲𝗱𝗴𝗲 𝘁𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆 𝗶𝘀 𝗰𝘂𝗿𝗿𝗲𝗻𝘁𝗹𝘆 𝗻𝗼𝘁 𝘁𝗵𝗮𝘁 𝘀𝗮𝗳𝗲 𝘁𝗼 𝘂𝘀𝗲" Veridise, a blockchain security company, found that 55% of zero-knowledge (ZK) audits had critical issues, while only 27.5% of other DeFi audits had such problems. ZK technology (which lets you prove something without revealing details) is a relatively new technology and it seems it has a lot of bugs in the code that could potentially be exploited. Most audits found issues with faulty logic, messy code, and data checking, while ZK audits also had a unique problem (underconstrained circuits) that could let attackers exploit the system.

2 replies

1 recast

12 reactions

avi pfp

great 2 part series on binius by lambda class https://blog.lambdaclass.com/snarks-on-binary-fields-binius/ https://blog.lambdaclass.com/binius-part-2/

2 replies

3 recasts

16 reactions

shazow pfp

Trying to explain ZK to a designer with no programming or crypto experience, how'd I do?

10 replies

1 recast

24 reactions

Jason pfp

Out of curiosity how long does it take @polygon-protocol prover to generate the proof? https://polygon.technology/blog/upgrade-every-evm-chain-to-zk-introducing-the-type-1-prover

0 reply

0 recast

7 reactions

Leo Simon pfp

https://x.com/SafeJunctionHQ/status/1814312299630362711

0 reply

0 recast

1 reaction

EulerLagrange.eth pfp

EulerLagrange.eth

@eulerlagrange.eth

I’m seeing a lot of Celestia for proof verification projects pop up. Brilliant insight imo. There’s a lot of complexity with handling proofs in the EVM directly. https://twitter.com/SafeJunctionHQ/status/1814312299630362711

1 reply

2 recasts

8 reactions

Hylé pfp

You've been in crypto for years, and you still have no idea what zero-knowledge proofs are? Understandable. They're incredibly complex… but we've written a simple introduction! Part 1 doesn't require any previous knowledge; part 2 requires knowing what a rollup is. 🧵 ⬇️

1 reply

1 recast

7 reactions