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

Clippy

Browse Source
This commit is contained in:
Hamy Ratoanina 2023-06-23 11:06:51 -04:00 committed by Robin Salen
parent 6253a68ea5
commit 7a882d0a64
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007
4 changed files with 11 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
evm/src/fixed_recursive_verifier.rs
View File

@ -32,7 +32,7 @@ use crate::config::StarkConfig;
use crate::cpu::cpu_stark::CpuStark; use crate::cpu::cpu_stark::CpuStark;
use crate::cpu::kernel::constants::global_metadata::GlobalMetadata; use crate::cpu::kernel::constants::global_metadata::GlobalMetadata;
use crate::cross_table_lookup::{verify_cross_table_lookups_circuit, CrossTableLookup}; use crate::cross_table_lookup::{verify_cross_table_lookups_circuit, CrossTableLookup};
use crate::generation::{self, GenerationInputs}; use crate::generation::GenerationInputs;
use crate::keccak::keccak_stark::KeccakStark; use crate::keccak::keccak_stark::KeccakStark;
use crate::keccak_sponge::keccak_sponge_stark::KeccakSpongeStark; use crate::keccak_sponge::keccak_sponge_stark::KeccakSpongeStark;
use crate::logic::LogicStark; use crate::logic::LogicStark;
@ -42,18 +42,14 @@ use crate::memory::{NUM_CHANNELS, VALUE_LIMBS};
use crate::permutation::{ use crate::permutation::{
get_grand_product_challenge_set_target, GrandProductChallenge, GrandProductChallengeSet, get_grand_product_challenge_set_target, GrandProductChallenge, GrandProductChallengeSet,
}; };
use crate::proof::{ use crate::proof::{PublicValues, PublicValuesTarget, StarkProofWithMetadata};
BlockMetadata, BlockMetadataTarget, PublicValues, PublicValuesTarget, StarkProofWithMetadata,
TrieRootsTarget,
};
use crate::prover::prove; use crate::prover::prove;
use crate::recursive_verifier::{ use crate::recursive_verifier::{
add_common_recursion_gates, add_virtual_public_values, add_virtual_trie_roots, add_common_recursion_gates, add_virtual_public_values, recursive_stark_circuit,
recursive_stark_circuit, set_block_metadata_target, set_trie_roots_target, PlonkWrapperCircuit, set_block_metadata_target, set_trie_roots_target, PlonkWrapperCircuit, PublicInputs,
PublicInputs, StarkWrapperCircuit, StarkWrapperCircuit,
}; };
use crate::stark::Stark; use crate::stark::Stark;
use crate::util::h160_limbs;
/// The recursion threshold. We end a chain of recursive proofs once we reach this size. /// The recursion threshold. We end a chain of recursive proofs once we reach this size.
const THRESHOLD_DEGREE_BITS: usize = 13; const THRESHOLD_DEGREE_BITS: usize = 13;

2
evm/src/recursive_verifier.rs
View File

@ -39,7 +39,7 @@ use crate::proof::{
TrieRootsTarget, TrieRootsTarget,
}; };
use crate::stark::Stark; use crate::stark::Stark;
use crate::util::{h160_limbs, h256_limbs}; use crate::util::h160_limbs;
use crate::vanishing_poly::eval_vanishing_poly_circuit; use crate::vanishing_poly::eval_vanishing_poly_circuit;
use crate::vars::StarkEvaluationTargets; use crate::vars::StarkEvaluationTargets;

1
evm/src/util.rs
View File

@ -61,6 +61,7 @@ pub(crate) fn u256_limbs<F: Field>(u256: U256) -> [F; 8] {
.unwrap() .unwrap()
} }
#[allow(unused)]
/// Returns the 32-bit little-endian limbs of a `H256`. /// Returns the 32-bit little-endian limbs of a `H256`.
pub(crate) fn h256_limbs<F: Field>(h256: H256) -> [F; 8] { pub(crate) fn h256_limbs<F: Field>(h256: H256) -> [F; 8] {
h256.0 h256.0

10
evm/tests/empty_txn_list.rs
View File

@ -5,7 +5,7 @@ use std::marker::PhantomData;
use std::time::Duration; use std::time::Duration;
use env_logger::{try_init_from_env, Env, DEFAULT_FILTER_ENV}; use env_logger::{try_init_from_env, Env, DEFAULT_FILTER_ENV};
use eth_trie_utils::partial_trie::{HashedPartialTrie, PartialTrie}; use eth_trie_utils::partial_trie::HashedPartialTrie;
use keccak_hash::keccak; use keccak_hash::keccak;
use log::info; use log::info;
use plonky2::field::goldilocks_field::GoldilocksField; use plonky2::field::goldilocks_field::GoldilocksField;
@ -15,10 +15,8 @@ use plonky2::util::timing::TimingTree;
use plonky2_evm::all_stark::AllStark; use plonky2_evm::all_stark::AllStark;
use plonky2_evm::config::StarkConfig; use plonky2_evm::config::StarkConfig;
use plonky2_evm::fixed_recursive_verifier::AllRecursiveCircuits; use plonky2_evm::fixed_recursive_verifier::AllRecursiveCircuits;
use plonky2_evm::generation::{generate_traces, GenerationInputs, TrieInputs}; use plonky2_evm::generation::{GenerationInputs, TrieInputs};
use plonky2_evm::proof::{BlockMetadata, TrieRoots}; use plonky2_evm::proof::BlockMetadata;
use plonky2_evm::prover::prove;
use plonky2_evm::verifier::verify_proof;
use plonky2_evm::Node; use plonky2_evm::Node;
type F = GoldilocksField; type F = GoldilocksField;
@ -27,7 +25,7 @@ type C = PoseidonGoldilocksConfig;
/// Execute the empty list of transactions, i.e. a no-op. /// Execute the empty list of transactions, i.e. a no-op.
#[test] #[test]
//#[ignore] // Too slow to run on CI. #[ignore] // Too slow to run on CI.
fn test_empty_txn_list() -> anyhow::Result<()> { fn test_empty_txn_list() -> anyhow::Result<()> {
init_logger(); init_logger();