cs @mit, prev @sailresearchco @paradigm
Joined September 2020
- Tweets15.4K
- Following1K
- Followers94.5K
- Likes19K
t11s retweeted
agreed! for an analytical take on this, with numbers filled in from real chips, check out this great work from @transmissions11: sailresearch.com/blog/htdym
thank you!! and yup i got lost in the groth16 sauce last time i tried to see what was up in ZK land heh
yup lots of overlap with thaler's book (ofc i drop a lot of the formal rigor and use some intentionally super basic notation), but more focused on being an end to end walkthru of one particular class of proof systems (including some newer stuff like LogUp, VEIL, etc)
glad you're enjoying it!! yup i'm def being a bit fast and loose with the word proof, tho fwiw "proof" being used to mean "false claim passes w/ very low probability" is pretty standard when writing about ZKPs afaict, but it prob wouldn't hurt to be explicit. i'll add a sidenote
Been learning about ZK-SNARKs lately! The core ideas behind modern hash-based schemes are surprisingly accessible & elegant 🧙♂️
Partly to teach myself, I wrote a post explaining them from scratch for people like me without a deep math background:
xn--2-kmb.com/zk-snarks
