matteo (mtteo)

I wrote an article about the sum-check protocol, if you guys are interested to learn more about it, this a good intro (with both the maths and an implementation I made in rust) 🫡 https://mtteo.dev/posts/understanding-sumcheck-protocol/understanding-sumcheck-protocol/

• 2 replies
• 1 recast
• 14 reactions

"Want to build in ZK? Just use any zkVM!" Introducing any-zkvm, a rust template that abstract which zkVM to use, making benchmarks much easier to create! 1. Write your code in rust 2. Benchmark your code using multiple zkVMs https://github.com/MatteoMer/any-zkvm

• 1 reply
• 1 recast
• 8 reactions

multiple papers about verifying edits on an image with zk-snarks recently: - VerITAS: Verifying Image Transformations at Scale: using lattice based hash+poseidon alongside Plonky2 - VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs: using Nova I think we're still not there for something practical, but it's super cool to see ZK used outside of blockchains

• 2 replies
• 0 recasts
• 12 reactions

If it can help anyone, I'm making public some of the notes I took in the last 6 months where I went deep into cryptography and ZK maths (with other random topics). There's not much structure to it yet, and I need to finish to add a lot of other notes, but I hope it can help someone! https://publish.obsidian.md/matteo

• 1 reply
• 1 recast
• 6 reactions