zero-knowledge proof systems

Poseidon: A New Hash Function for Zero-Knowledge Proof Systems

The area of practical computational integrity proof systems, like SNARKs, STARKs, Bulletproofs, is seeing a very dynamic development with several constructions having appeared recently with improved properties and relaxed setup requirements. Many use …

Algebraic Cryptanalysis of Jarvis and Friday

In this rump session talk we present our preliminary results regarding new algebraic attacks on Jarvis and Friday.