The only way in real life to get an engineering team to simplify an overcomplicated design they've already partially implemented, is find a severe attack on it.

For a client I am looking for an auditor with good familiarity with BLS12-381, Rust, and preferably fuzzing. I had to forgo this opportunity for personal reasons but I want to connect my client with a good replacement. Please get in touch if you are or know someone who is keen.

Very excited to announce a 1st batch of #ZkHackKrakow judges!

Anna Rose (@zeroknowledgefm)
Ariel Gabizon (@rel_zeta_tech)
dcbuilder.eth (@worldcoin)
0xSachinK (@zkp2p)
Orest Tarasiuk (@zkWarsaw)
Tiago
Filip Siroky (@mitoncfund)
Marcin Kostrzewa (@reilabs_io)
0xGL (@__zkhack__ )

Spoiler alert: Feels like the general IQ is going down, trying to watch 3-body problem, but struggling with the stupidity of superior aliens deciding to destory humanity instead of help it which was their plan for decades, because little red riding hood is a story and not…

Pure mathematicians when a number appears in their work

In this video I want to explain the idea behind homomorphic encryption that is a super neat application of what is admittedly rather obscure maths. The implications for data privacy and with that also scientific research are enormous.

youtube.com/watch?v=1BI0FD…

something I would pay for - coffeeshop or coworking space where there's a guarantee for no background music

Fermat's last theorem does not apply to integer matrices of size > 1.

Hash experts..how significant is this new paper on Poseidon? eprint.iacr.org/2024/310.pdf

This ZKP Dreamteam will be Reviewing your Paper! :)

Call for Paper deadline for ZKProof 6: March 15!

For more details see here: zkproof.org/events/zkproof…

Have we gotten to the point where Stark just means FRI-based? And are we happy with that?
Originally there was no preprocessing in a STARK. (Related: the S in STARK stands for Scalable, not Succinct.)

E.g. here in (very good!) Polygon zk-evm documentation
there is discussion of…

The team at Standard Crypto built a VSCode extension for Axiom. Try it at:

marketplace.visualstudio.com/items?itemName…

You can use it to manage circuits written in the Axiom SDK through compilation, proving, and query submission to Axiom. We were impressed by how much VSCode can do!

If you have interesting zk/snark papers..please submit and come to Berlin!
zkproof.org/events/zkproof…

Kudos to GitHub. Search, even for text, used to suck - now it finds functions and structs very nicely.

Protostar/galaxy have almost identical prover work to sumcheck - but with complete parallelism, as opposed to sumcheck's logn sequential rounds.
People working on distributed/parallel sumcheck..e.g. polyhedra, are not aware of this option yet.

Otoh they require a DL-group and…

This is a very good talk about Ethereum's attempt to get VDF's into production, the problems they ran into, and their current randomness beacon based on commit-reveal.
I can't help thinking - shouldn't we use some VDF on top of the commit reveal randomness despite the theoretical…

Our EC24 paper: eprint.iacr.org/2024/173 with Helger Lipmaa 🇺🇦 @[email protected] and Roberto Parisella.

'Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions'