zk

zk

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

avi pfp

this is a great breakdown of the upcoming private proofs API in Google Chrome https://github.com/explainers-by-googlers/private-proof

0 reply

0 recast

1 reaction

EulerLagrangodamus pfp

EulerLagrangodamus

https://x.com/binji_x/status/1929147985197224421?s=46

1 reply

9 recasts

30 reactions

avi pfp

good overview of Google’s libZK https://nmohnblatt.github.io/libzk-highlights/

0 reply

2 recasts

5 reactions

Kaloh | Indexy.xyz 📊 pfp

Kaloh | Indexy.xyz 📊

ZKP Index What’s missing?

0 reply

1 recast

3 reactions

Matt pfp

Client side zkML demo here Demo shows - take a picture of an object (e.g. face, book, etc) wallet access can be recovered using this image Effectively Harry Potter Horcruxes in the wild Who's going to make a geocaching game leveraging this? https://x.com/Rarimo_protocol/status/1912065075277443496

1 reply

0 recast

3 reactions

Anuraj R pfp

ZK beginner walk through https://x.com/0xteddav/status/1927672034068205805 https://blog.electisec.com/sumcheck

1 reply

0 recast

1 reaction

megabyte pfp

i have a problem, if I want to understand something I just start from the very scratch of it. This time I want to understand and build with ZK. So, starting from the scratch with @rareskills ofc. DAY 0 of ZK

1 reply

0 recast

2 reactions

avi pfp

new arkworks like library for lattice based crypto https://github.com/lattirust

0 reply

0 recast

3 reactions

EulerLagrangodamus pfp

EulerLagrangodamus

Bald-ly going where no hair has gone before

0 reply

0 recast

2 reactions

Flying Nobita pfp

You think you have heard of all the zkvm projects? Think again!

1 reply

0 recast

13 reactions

Flying Nobita pfp

ProgCryptoSG is back with another meetup next week on Thur, May 29th! If you are in Singapore, come hang out and discuss ZK and cryptography! There will be 2 sharing sessions: 1. Sumcheck and GKR by me 2. Applications of Verifiable AI in DeFi by @jseam Link to sign up in replies below👇

2 replies

0 recast

11 reactions

avi pfp

TIL about ZK wormholes. it could be "native" tornado cash https://eips.ethereum.org/EIPS/eip-7503

1 reply

0 recast

5 reactions

Wyatt Benno pfp

I have heard a few people say : "there will only be one or two companies that win the ETH realtime proving race". But @vitalik.eth points out some interesting facts. I would add this to 3: Most provers use special hardware and are extremely memory hungry. Folding scheme are the most direct way to decentralize and democratize ZKP proving — it is the best technique that we have to allow provers of any size to join and prove. In the end, I think there will be ZERO companies left and just networks of people. Most likely they will be using memory efficient folding scheme in a collaborative setting to achieve realtime proving at scale. https://x.com/VitalikButerin/status/1925050155922862526

0 reply

0 recast

2 reactions

EulerLagrangodamus pfp

EulerLagrangodamus

https://youtu.be/tG61BCaZTQ0?si=UWi6Q2xH5w8wEG3B

0 reply

2 recasts

11 reactions

avi pfp

https://x.com/tcoratger/status/1925146408320975188

0 reply

0 recast

2 reactions