🎥 Just released! Watch the COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" by Hua Xu (KU Leuven): https://www.youtube.com/watch?v=sMHfxYrNl5I
📄 Read the full paper on #eprint: https://eprint.iacr.org/2025/1285
#FRIttata #SNARKs #PostQuantum #PQCrypto
COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" (Hua Xu, KU Leuven)

YouTube

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.

https://eprint.iacr.org/2025/385.pdf

#cryptography #snarks #zk #blockchain

(1/5)

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.

https://x.com/vdWijden/status/1877046148386451732

MariusVanDerWijden (@vdWijden) on X

🚨🚨PSA: iden3's implementation of the Poseidon Hash function is broken 🚨🚨 I found a hash collision bug in @identhree's implementation (https://t.co/g6eBLuDy71) of Poseidon, used by multiple projects like @PrivadoID @bloocktech #Nilfoundation and @wealdtech 🧵 #cryptography

X (formerly Twitter)

.... and done!

A new CLI tool for creating Merkle trees using the #Aztec implementation of Pedersen hash.

It's one of those things you build because you need it yourself.

It's super niche obviously, but if you're using #noir or into #snarks #zk or #cryptography -- check it out!

https://github.com/eyalron33/mpz

GitHub - eyalron33/mpz

Contribute to eyalron33/mpz development by creating an account on GitHub.

GitHub

Very nice overview of #cryptography and #SNARKS current hot topics and edges by @trailofbits

https://blog.trailofbits.com/2024/07/25/our-crypto-experts-answer-10-key-questions/

Our crypto experts answer 10 key questions

By Justin Jacob Cryptography is a fundamental part of electronics and the internet that helps secure credit cards, cell phones, web browsing (fingers crossed you’re using TLS!), and even top-secret…

Trail of Bits Blog

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.

A new Safecat release is out! What started as a whimsical project is, well, still a whimsical project, but a fun one.

This release introduces signed certificates and zk proofs of humanity done with Noir.

#crypto #cryptography #SNARKS

https://github.com/eyalron33/safecat/releases/tag/v0.0.3

Release V0.0.3: Here come the certificates · eyalron33/safecat

This release introduces signed certificates. Main changes safecat assert and safecat show-certs commands. It includes basic functionality to create "birth certificates" or "proof of humanity cer...

GitHub

Safecat V0.0.2 The onset of the 496 Poseidon Hash era -- is OUT!

https://github.com/eyalron33/safecat/releases/tag/v0.0.2

Changes:
1. Poseidon hash signatures (for Noir) are now limited to 496 instead of 16 characters.

2. The CLI argument parser now uses Clap

Check us out if you're into #SNARKS! #cryptography

Release V0.0.2 The onset of the 496 Poseidon Hash era · eyalron33/safecat

This is the first update of the Safecat project, not bad for something that began for educational purposes. There are two new contributors to this version, see below. Main changes [contributor: a0...

GitHub
New ✨#MarvelCosmic✨ #comics this week for #NCBD (2/28/24)

Power Pack: Into the Storm #2

W-#LouiseSimonson,A-#JuneBrigman

A-#JuneBrigman
B-#BetsyCola

#PowerPack #Brood #Snarks #Marvel #MarvelCosmic
Formalizing soundness proofs of SNARKs. ~ Bolton Bailey, Andrew Miller. https://eprint.iacr.org/2023/656.pdf #ITP #LeanProver #SNARKs