Poseidon parameters for Ingonyama BN-254 rate 2 implementation.
(ingonyama-bn-254--parameters) → param
Function:
(defun ingonyama-bn-254--parameters nil (declare (xargs :guard t)) (let ((__function__ 'ingonyama-bn-254--parameters)) (declare (ignorable __function__)) (make-param :prime primes::*bn-254-group-prime* :rate 2 :capacity 1 :alpha 5 :full-rounds-half 4 :partial-rounds 57 :constants *ingonyama-bn-254-ark* :mds *ingonyama-bn-254-mds* :rate-then-capacity-p nil :ascending-p t :partial-first-p t)))
Theorem:
(defthm paramp-of-ingonyama-bn-254--parameters (b* ((param (ingonyama-bn-254--parameters))) (paramp param)) :rule-classes :rewrite)