matteo pfp

matteo

@mtteo

152 Following
119 Followers


matteo pfp
matteo
@mtteo
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
15 reactions

matteo pfp
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
7 reactions

matteo pfp
matteo
@mtteo
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
5 reactions

matteo pfp
matteo
@mtteo
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
matteo
@mtteo
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
matteo
@mtteo
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
matteo
@mtteo
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
3 reactions

matteo pfp
matteo
@mtteo
i love tokyo https://i.imgur.com/9WiARfs.jpg
0 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
I am verifying my farcaster username @mtteo for discove.xyz 34ea1e3d-f44f-4df2-b627-2c13e9f8f862
0 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
who's going to ETHToyko?
1 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
happy to try warpcast web today 🫡
0 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
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
0 reaction

matteo pfp
matteo
@mtteo
I was a bit confused this morning not finding my Farcaster app in my app folder 😢Welcome Warpcast :D
0 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
gm
0 reply
0 recast
0 reaction

matteo pfp
matteo
@mtteo
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
matteo
@mtteo
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