logos-storage/proof-aggregation
1
0
Fork 0
mirror of https://github.com/logos-storage/proof-aggregation.git synced 2026-01-04 14:53:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix fn signature

Browse Source
This commit is contained in:
M Alghazwi 2025-07-07 22:33:04 +02:00
parent ab3fe856e2
commit b7d831bdd8
No known key found for this signature in database
GPG Key ID: 646E567CAD7DB607
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
plonky2-monolith/src/gates/base_sum_custom.rs
View File

@ -342,7 +342,7 @@ impl<F: RichField + Extendable<D>, const B: usize, const D: usize> SimpleGenerat
vec![self.wire_sum()] vec![self.wire_sum()]
} }
fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) { fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> anyhow::Result<()>{
let sum_value = witness.get_target(self.wire_sum()).to_canonical_u64() as usize; let sum_value = witness.get_target(self.wire_sum()).to_canonical_u64() as usize;
debug_assert_eq!( debug_assert_eq!(
(0..self.num_limbs).fold(sum_value, |acc, _| acc / B), (0..self.num_limbs).fold(sum_value, |acc, _| acc / B),
@ -380,13 +380,14 @@ impl<F: RichField + Extendable<D>, const B: usize, const D: usize> SimpleGenerat
let z_field = if a == F::ZERO { F::ONE } else { b }; let z_field = if a == F::ZERO { F::ONE } else { b };
let z_prime_field = let z_prime_field =
F::inverse(&(z_field - F::from_canonical_u64(1_u64 << 32) + F::ONE)) * z_field; F::inverse(&(z_field - F::from_canonical_u64(1_u64 << 32) + F::ONE)) * z_field;
out_buffer.set_target(self.boundary_constraints_wires()[0], z_field); out_buffer.set_target(self.boundary_constraints_wires()[0], z_field)?;
out_buffer.set_target(self.boundary_constraints_wires()[1], z_prime_field); out_buffer.set_target(self.boundary_constraints_wires()[1], z_prime_field)?;
assert_eq!( assert_eq!(
z_prime_field * (z_field - F::from_canonical_u64(1_u64 << 32) + F::ONE), z_prime_field * (z_field - F::from_canonical_u64(1_u64 << 32) + F::ONE),
z_field z_field
); );
Ok(())
} }
fn serialize(&self, dst: &mut Vec<u8>, _common_data: &CommonCircuitData<F, D>) -> IoResult<()> { fn serialize(&self, dst: &mut Vec<u8>, _common_data: &CommonCircuitData<F, D>) -> IoResult<()> {

5
plonky2-monolith/src/gates/gadget.rs
View File

@ -77,7 +77,7 @@ impl<F: RichField + Extendable<D>, const B: usize, const D: usize> SimpleGenerat
self.0.limbs_wires() self.0.limbs_wires()
} }
fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) { fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> anyhow::Result<()>{
let sum = self let sum = self
.0 .0
.limbs_wires() .limbs_wires()
@ -86,7 +86,8 @@ impl<F: RichField + Extendable<D>, const B: usize, const D: usize> SimpleGenerat
.rev() .rev()
.fold(F::ZERO, |acc, limb| acc * F::from_canonical_usize(B) + limb); .fold(F::ZERO, |acc, limb| acc * F::from_canonical_usize(B) + limb);
out_buffer.set_target(self.0.wire_sum(), sum); out_buffer.set_target(self.0.wire_sum(), sum)?;
Ok(())
} }
fn serialize(&self, dst: &mut Vec<u8>, _common_data: &CommonCircuitData<F, D>) -> IoResult<()> { fn serialize(&self, dst: &mut Vec<u8>, _common_data: &CommonCircuitData<F, D>) -> IoResult<()> {