		Search-engine friendly clone of the ACL2 documentation.

Poseidon-rate-4-alpha-17

Rate-4-alpha-17-parameters

Poseidon parameters for Aleo circuit rate 4 implementation.

Signature
(rate-4-alpha-17-parameters) → *

Definitions and Theorems

Function: rate-4-alpha-17-parameters

(defun rate-4-alpha-17-parameters nil
  (declare (xargs :guard t))
  (let ((__function__ 'rate-4-alpha-17-parameters))
    (declare (ignorable __function__))
    (make-param :prime primes::*bls12-377-scalar-field-prime*
                :rate 4
                :capacity 1
                :alpha 17
                :full-rounds-half 4
                :partial-rounds 31
                :constants *poseidon-rate-4-ark*
                :mds *poseidon-rate-4-mds*
                :rate-then-capacity-p nil
                :ascending-p t
                :partial-first-p t)))