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.
.... 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!
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/
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.
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
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
Arithmetic Circuit to Square Arithmetic Program (QAP)
https://crypto.stackexchange.com/questions/104201/arithmetic-circuit-to-square-arithmetic-program-qap
#zeroknowledgeproofs #circuit #snarks
Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?
https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y
#challengeresponse #interactiveproofs #snarks
🧑🔬 Tout savoir sur les preuves à divulgation nulle de connaissance #ZKP #SNARKs #ZKRollups #STARKs - le graal de la #privacy et de la #scalability sur #Ethereum ! Un peu d'histoire et de mathématiques par @MorganPhuc@twitter.com 👇 https://journalducoin.com/blockchain/preuves-a-divulgation-nulle-de-connaissance-zero-knowledge-proofs-zk-snarks-zk-starks/
Les #SNARKs sur #Ethereum, ils sont nombreux à y réfléchir 🧐 C'est par exemple le cas de @aztecprotocol@twitter.com, qui se lance dans le grand bain du mainnet #Ethereum 🔧
https://journalducoin.com/ethereum/ethereum-transactions-privees-aztec/
If you have been wanting to learn about #zk-#SNARKs for a while but were intimidated by all the magic moon #math, @ethchris has writing a nice primer on #zk-#SNARKs...
https://www.reddit.com/r/ethereum/new/t3_a7c6ny
#Cryptonews #Reddit #ETH
