logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-11 02:03:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Comment

Browse Source
This commit is contained in:
wborgeaud 2022-09-23 16:36:17 +02:00
parent 0053a02119
commit 8c96b8d2db
3 changed files with 2 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
evm/src/proof.rs
View File

@ -40,6 +40,8 @@ pub(crate) struct AllProofChallenges<F: RichField + Extendable<D>, const D: usiz
}
pub(crate) struct AllChallengerState<F: RichField + Extendable<D>, const D: usize> {
/// Sponge state of the challenger before starting each proof,
/// along with the final state after all proofs are done. This final state isn't strictly needed.
pub states: [[F; SPONGE_WIDTH]; NUM_TABLES + 1],
pub ctl_challenges: GrandProductChallengeSet<F>,
}

10
plonky2/src/hash/hash_types.rs
View File

@ -78,12 +78,6 @@ impl<F: RichField> GenericHashOut<F> for HashOut<F> {
fn to_vec(&self) -> Vec<F> {
self.elements.to_vec()
}
fn from_vec(v: &[F]) -> Self {
Self {
elements: v.try_into().unwrap(),
}
}
}
impl<F: Field> Default for HashOut<F> {
@ -154,10 +148,6 @@ impl<F: RichField, const N: usize> GenericHashOut<F> for BytesHash<N> {
})
.collect()
}
fn from_vec(_v: &[F]) -> Self {
todo!()
}
}
impl<const N: usize> Serialize for BytesHash<N> {

1
plonky2/src/plonk/config.rs
View File

@ -20,7 +20,6 @@ pub trait GenericHashOut<F: RichField>:
fn from_bytes(bytes: &[u8]) -> Self;
fn to_vec(&self) -> Vec<F>;
fn from_vec(v: &[F]) -> Self;
}
/// Trait for hash functions.