You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are multiple sponge types, i.e. in "Kimchi":
pubtraitFrSponge<Fr:Field>{/// Creates a new Fr-Sponge.fnnew(p:ArithmeticSpongeParams<Fr>) -> Self;/// Absorbs the field element into the sponge.fnabsorb(&mutself,x:&Fr);/// Creates a [ScalarChallenge] by squeezing the sponge.fnchallenge(&mutself) -> ScalarChallenge<Fr>;/// Absorbs the given evaluations into the sponge.// TODO: IMO this function should be inlined in prover/verifierfnabsorb_evaluations(&mutself,p:&[Fr],e:&ProofEvaluations<Vec<Fr>>);}
I believe these can be unified, particularly after adopting #636 (Introduce Absorb/Challenge traits) which enables implementing/deriving Absorb for ProofEvaluations (as done in the rust version of pickles)
This discussion was converted from issue #637 on November 28, 2022 21:35.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
There are multiple sponge types, i.e. in "Kimchi":
And in "Oracles":
I believe these can be unified, particularly after adopting #636 (Introduce Absorb/Challenge traits) which enables implementing/deriving
Absorb
forProofEvaluations
(as done in the rust version of pickles)Beta Was this translation helpful? Give feedback.
All reactions