matteo

@mtteo

209 Following

226 Followers

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

"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

9 reactions

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

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

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

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

matteo pfp

Small step for humanity, big step for Matteo: Starting from today until the new year, I will be posting something online: article, research notes or anything that comes to my mind This needs to change! I want to share to the universe what I'm learning, what I think and why :) This cast is for my accountability 🫡

0 reply

0 recast

0 reaction

matteo pfp

https://twitter.com/__geometry__/status/1691439596926885888 Interesting new paper about privacy-preserving contact discovery by Geometry! Might be interesting for farcaster @dwr.eth 😄

1 reply

0 recast

6 reactions

matteo pfp

I finally made a personal website, and with that I wrote my first article about the hack we made at ZKLambda Week! It's an implementation of an elliptic curve, bandersnatch in Lambdaworks :) https://mtteo.dev/posts/bandersnatch-lambda-zk-week/bandersnatch-lambda-zk-week/

1 reply

0 recast

4 reactions

matteo pfp

i love tokyo https://i.imgur.com/9WiARfs.jpg

0 reply

0 recast

0 reaction

matteo pfp

I am verifying my farcaster username @mtteo for discove.xyz 34ea1e3d-f44f-4df2-b627-2c13e9f8f862

0 reply

0 recast

0 reaction

matteo pfp

who's going to ETHToyko?

1 reply

1 recast

0 reaction

matteo pfp

happy to try warpcast web today 🫡

0 reply

0 recast

0 reaction

matteo pfp

started using Raycast and Arc recently! very cool experience so far :) anyone knows any cool extensions I should install on Raycast ?

2 replies

0 recast

1 reaction

matteo pfp

I was a bit confused this morning not finding my Farcaster app in my app folder 😢Welcome Warpcast :D

0 reply

0 recast

1 reaction

matteo pfp

0 reply

0 recast

0 reaction

matteo pfp

I'm starting to dive deeper into farcaster hubs (and the protocol in general), this is so cool and very fascinating! I think that I'm going to start to contribute to hubble, and as a middle-term goal, I'd like to start a python implementation of hubs!

0 reply

0 recast

0 reaction

matteo pfp

hey! this is my first cast! can't wait to discover more people here! it seems more chill than other places for now, very cool :)

5 replies

0 recast

0 reaction