matteo

@mtteo

153 Following

223 Followers

matteo pfp

As next steps: - Add more zkVM - Add automated benchmarks - Print number of constraints at the end of a program I feel like this is a missing part in the current zkVM ecosystem, devs just want to not thinking about which zkVM to use, so why not using all of them? Feel free to contribute! Always happy to get new PRs

0 reply

0 recast

0 reaction

matteo pfp

So far, the template is still WIP, with only SP1 and Risc0 available, but I'm planning to add Jolt, Valida and Nexus next! You can easily use precompiles from specific zkVMs, using already defined feature flags!

1 reply

0 recast

0 reaction

matteo pfp

"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

11 reactions

Sam Ragsdale pfp

July Roadmap Update TL;DR: Jolt is faster, simpler, and more usable than ever. Huge shoutout to the contributors who made this happen!

2 replies

14 recasts

74 reactions

matteo pfp

Also, I'm not sure, but I guess that for proving the transformations, you need to use a specific software to do these edits? which seems a bit unpractical for me so far, but that would be fun to integrate it to already existing OSS for edits

1 reply

0 recast

1 reaction

matteo pfp

Why I said that is because as far as I understand is that the setup/proving time would 2 to 6 minutes _per edit_ (verifier time is super fast tho) I think VerITAS actually claims it's already practical, because it's been created with news organizations in mind, so they could take the time to prove their edits, which is fair Maybe I was wrong :D

1 reply

0 recast

1 reaction

matteo pfp

forgot the links, lol - VerITAS: https://eprint.iacr.org/2024/1066.pdf - VIMZ: https://eprint.iacr.org/2024/1063.pdf

0 reply

0 recast

1 reaction

matteo pfp

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

2 recasts

16 reactions

avi pfp

KZG in 1 slide by Dan Boneh

2 replies

2 recasts

7 reactions

matteo pfp

0 reply

0 recast

0 reaction

matteo pfp

Yes we did! The first edition

1 reply

0 recast

1 reaction

matteo pfp

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

7 reactions

Yuki ✅ 🔜 Token2049 pfp

Yuki ✅ 🔜 Token2049

🍣✨Mint my ‘Proof of Frens’ NFT and redeem for a beer in Tokyo! 🎌 🍻 Be onchain frens and I’ll buy you a Japanese beer when you visit Japan!🍶 200 NFTs available on @syndicate’s L3 on top of @base https://www.questcaster.xyz/api/42c2898f-dbc5-47c0-a803-60d8ef0ebd9b Made with @questcaster

8 replies

1551 recasts

1201 reactions

matteo pfp

https://publish.obsidian.md/matteo/3.+Permanent+notes/Proving+that+two+Pedersen+hashes+of+different+groups+are+equal+in+a+ZKP

0 reply

0 recast

0 reaction

matteo pfp

forgot to cast it before, but did a stream earlier reading this cool paper https://eprint.iacr.org/2024/265 Haven't finished the paper yet, but here's my section III notes; which is a protocol that aims to prove that two pedersen commitments in different have the same witness, in a more efficient way!

1 reply

0 recast

11 reactions

woj ツ pfp

new supercast release: 1. fixed your profile information not updating after you changed your pfp/username/name on wc. thanks @elesel.eth @mtteo @swabbie.eth @jalil for reporting 2. fixed text input on some frames. (ty @zinger @artlu @dawufi) 3. fixed paywall displaying for some premium users (ty @christin @sum)

6 replies

3 recasts

17 reactions

matteo pfp

0 reply

0 recast

0 reaction

woj ツ pfp

Farcaster frames are live on Supercast! We are celebrating with a 1 tap mint, in a collab with the legends @jacopo and @zerohex.eth - Recast, follow @super and join /supercast - 1000 nfts - Farcaster exclusive, on @base Grow on Farcaster with Supercast 🤝 https://slice.so/frames/supercast-nft

58 replies

1127 recasts

981 reactions

woj ツ pfp

After: - Getting to 13 paying customers - 100 beta users - 149 mentions on farcaster - 6 weeks of grinding I'm excited to announce that @super is live and open for everybody!

41 replies

78 recasts

197 reactions

matteo pfp

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

7 reactions