fmt

valida-xyz · Jan 17, 2024 · 23ecec1 · 23ecec1
1 parent 009d801
commit 23ecec1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 4 deletions.
diff --git a/basic/src/lib.rs b/basic/src/lib.rs
@@ -52,10 +52,8 @@ use valida_output::{MachineWithOutputChip, OutputChip, WriteInstruction};
 use valida_program::{MachineWithProgramChip, ProgramChip};
 use valida_range::{MachineWithRangeChip, RangeCheckerChip};
 
-
 #[derive(Default)]
 pub struct BasicMachine<F: PrimeField64 + TwoAdicField, EF: ExtensionField<F>> {
-
     // Core instructions
     load32: Load32Instruction,
 

diff --git a/machine/src/__internal/prove.rs b/machine/src/__internal/prove.rs
@@ -1,4 +1,3 @@
-
 use crate::__internal::ConstraintFolder;
 use crate::proof::ChipProof;
 use crate::{Chip, Machine};

diff --git a/machine/src/lib.rs b/machine/src/lib.rs
@@ -179,6 +179,5 @@ pub trait Machine<F: Field> {
     where
         SC: StarkConfig<Val = Self::F, Challenge = Self::EF>;
 
-
     fn verify<SC: StarkConfig<Val = F>>(proof: &MachineProof<SC>) -> Result<(), ()>;
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -179,6 +179,5 @@ pub trait Machine<F: Field> { @@
         where
             SC: StarkConfig<Val = Self::F, Challenge = Self::EF>;
         fn verify<SC: StarkConfig<Val = F>>(proof: &MachineProof<SC>) -> Result<(), ()>;
     }