We propose a new hash function Reinforced Concrete, which is the first generic purpose hash that is fast both for a zero-knowledge prover and in native x86 computations. It is suitable for a various range of zero-knowledge proofs and protocols, from …
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 …
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 …
We study approaches to generalized Feistel constructions with low-degree round functions with a focus on x - x^3 . Besides known constructions, we also provide a new balanced Feistel construction with improved diffusion properties. This then allows …
In this rump session talk we present our preliminary results regarding new algebraic attacks on Jarvis and Friday.