01▲Arion: Arithmetization-Oriented Hashing for Zero-Knowledge Proof Systems eprint.iacr.org Gröbner bases and quotient-ring dimensions are now doing hash-design PR, in Arion's prime-field permutation for ZK.airalgebraic-cryptanalysiseprinthashplonkr1csstarkzk0 pts/evanm/11 days ago/discuss