Poseidon parameters for Ingonyama BLS-255-neptune rate 3 implementation.
(ingonyama-bls-255-neptune--parameters) → param
Function:
(defun ingonyama-bls-255-neptune--parameters nil (declare (xargs :guard t)) (let ((__function__ 'ingonyama-bls-255-neptune--parameters)) (declare (ignorable __function__)) (make-param :prime primes::*bls12-381-scalar-field-prime* :rate 3 :capacity 1 :alpha 5 :full-rounds-half 4 :partial-rounds 56 :constants *ingonyama-bls-255-neptune-ark* :mds *ingonyama-bls-255-neptune-mds* :rate-then-capacity-p nil :ascending-p t :partial-first-p t)))
Theorem:
(defthm paramp-of-ingonyama-bls-255-neptune--parameters (b* ((param (ingonyama-bls-255-neptune--parameters))) (paramp param)) :rule-classes :rewrite)