logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-04-29 06:43:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #694 from mir-protocol/remove_compressed

Browse Source 
Remove compressed proofs in EVM crate
This commit is contained in:
Daniel Lubarov 2022-08-25 12:24:30 -07:00 committed by GitHub
commit a96ddeee82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
evm/src/proof.rs
View File

@ -2,9 +2,7 @@ use itertools::Itertools;
use maybe_rayon::*; use maybe_rayon::*;
use plonky2::field::extension::{Extendable, FieldExtension}; use plonky2::field::extension::{Extendable, FieldExtension};
use plonky2::fri::oracle::PolynomialBatch; use plonky2::fri::oracle::PolynomialBatch;
use plonky2::fri::proof::{ use plonky2::fri::proof::{FriChallenges, FriChallengesTarget, FriProof, FriProofTarget};
CompressedFriProof, FriChallenges, FriChallengesTarget, FriProof, FriProofTarget,
};
use plonky2::fri::structure::{ use plonky2::fri::structure::{
FriOpeningBatch, FriOpeningBatchTarget, FriOpenings, FriOpeningsTarget, FriOpeningBatch, FriOpeningBatchTarget, FriOpenings, FriOpeningsTarget,
}; };
@ -114,28 +112,6 @@ pub struct StarkProofWithPublicInputsTarget<const D: usize> {
pub public_inputs: Vec<Target>, pub public_inputs: Vec<Target>,
} }
pub struct CompressedStarkProof<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
const D: usize,
> {
/// Merkle cap of LDEs of trace values.
pub trace_cap: MerkleCap<F, C::Hasher>,
/// Purported values of each polynomial at the challenge point.
pub openings: StarkOpeningSet<F, D>,
/// A batch FRI argument for all openings.
pub opening_proof: CompressedFriProof<F, C::Hasher, D>,
}
pub struct CompressedStarkProofWithPublicInputs<
F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>,
const D: usize,
> {
pub proof: CompressedStarkProof<F, C, D>,
pub public_inputs: Vec<F>,
}
pub(crate) struct StarkProofChallenges<F: RichField + Extendable<D>, const D: usize> { pub(crate) struct StarkProofChallenges<F: RichField + Extendable<D>, const D: usize> {
/// Randomness used in any permutation arguments. /// Randomness used in any permutation arguments.
pub permutation_challenge_sets: Option<Vec<GrandProductChallengeSet<F>>>, pub permutation_challenge_sets: Option<Vec<GrandProductChallengeSet<F>>>,