matteo

@mtteo

209 Following

216 Followers

matteo pfp

Working on building cool ZK stuff 🫡

0 reply

0 recast

1 reaction

matteo pfp

what's the easiest way to get the signature from a cast and verify that it has been sent by a specific user?

0 reply

0 recast

2 reactions

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

8 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

6 recasts

42 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

0 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

0 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

0 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

0 recast

12 reactions

avi pfp

KZG in 1 slide by Dan Boneh

2 replies

2 recasts

6 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

14 reactions

Yuki 🗺️ pfp

🍣✨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

1284 recasts

990 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

9 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.eth for reporting 2. fixed text input on some frames. (ty @zinger @artlu @dawufi) 3. fixed paywall displaying for some premium users (ty @christin @sum)

5 replies

4 recasts

24 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.eth and @zerohex - Recast, follow @super and join /supercast - 1000 nfts - Farcaster exclusive, on @base Grow on Farcaster with Supercast 🤝 https://slice.so/frames/supercast-nft

50 replies

1039 recasts

895 reactions