mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#zk

0 posts0 participants0 posts today

I finally read the recent Mercury paper. Like all papers by Ariel Gabizon it's very well-written. It makes Mercury a great introduction to the niche field of *Multilinear Polynomial Commitment Scheme*.

Multilinear Polynomial Commitment Schemes are a trendy research topic in zero-knowledge snarks. Instead of explaining the paper itself, I'll try to explain its importance to zero-knowledge proofs.

eprint.iacr.org/2025/385.pdf

#cryptography #snarks #zk #blockchain

(1/5)

Just a heads-up that at the end of March there is a "crypto week" in Sofia, Bulgaria, with a ton of co-located cryptography-related events. I will also give a talk on Shufflecake at OSCW.

shufflecake.net/#20250301-talk

In chronological order:

- ZCash Dev Summit forum.zcashcommunity.com/t/zca
- ZKProof 7 zkproof.org/events/zkproof-7-s
- HACS Workshop hacs-workshop.org/index.html
- RWPQC rwpqc.sandboxaq.com/
- FHE Conference fhe.org/conferences/conference
- ZK Hack Meetup lu.ma/0stmji9i
- RWMPC mpcalliance.org/rwmpc-2025
- OSCW opensourcecryptowork.shop/2025/
- RWC rwc.iacr.org/2025/

Feel free to comment if I missed anything.

I will be around, planning of attending at least ZKProof, ZK Hack Meetup, RWPQC, OSCW and RWC.

shufflecake.netShufflecake

Marius Van Der Wijden claims to have broken Iden3's implementation of the Poseidon Hash. It is quite well-known, and probably used, so it's quite interesting.

He claims the problem is with their bit padding.

Normally you add '1' and then zeroes (possibly none) to fill the block length. This ensures that there is always *some* padding.

They didn't add the '1', so some input doesn't get padded at all, which leads to a collision.

#cryptography #snarks #zk #blockchain.

x.com/vdWijden/status/18770461

Aztec finished separating Nargo from Barretenberg in Noir!

Even die-hard fans of #cryptography and #zk might not be sure if this is a sentence from the industry or a fantasy book, so I'm here to help.

Aztec: is a privacy-preserving Ethereum L2 blockchain using ZK (Zero-knowledge). That's not exciting for me really, but they are *also* building Noir.

Noir: An awesome general language for ZK programs. People (me) use it for writing ID systems, KYC, blockchains, or decentralized games.

👇👇👇

I want to take my #ID for the Internet project to the next level: get people to try it out. But is the #fediverse is the right place for that?

The project is based on #ZK #snarks and #ethereum #blockchain, to have a private global registry of identities. Those topics are not popular in the fediverse, so It might be hard to find test users.

But I don't want to look at places like Twitter, where it is popular. I also really do believe that such an ID fits the #dweb more than any other place.

👋 hi, a quick #introduction, i'm jack 29M 🇬🇧

I'm a SWE soon to move to startup land after 6.5 years in public sector with uk gov.

Outside of capitalist prescribed selfID im an ubernerd and typical latestage millenial: i've used PCs since I was 5 and lived on the internet since way too young.

I'm interested in #tech, #dev, #weightlifting and #zk/#pkm

I chose #Hachyderm after watching @nova livestream an upgrade, lurking and being very impressed by the democratic model that @nivenly offers.