Proof Systems

Monolith: Fast Circuit-Friendly Hashing

This talk focuses on the Monolith hash function and presents it as a potential alternative to Poseidon and Poseidon2.

Poseidon(2) Security - Where do we stand?

This talk focuses on the current situation regarding the cryptographic security of the Poseidon and Poseidon2 hash functions.

Implementation Characteristics of Hash Functions in Modern Proof Systems

While the algorithmic description of circuit-friendly hash functions is often straightforward, the underlying architecture allows for many different ways of implementing them. This talk will go over various implementation characteristics in certain …