ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

serialize all constraints

Browse Source
This commit is contained in:
collin 2020-08-08 22:19:59 -07:00
parent 0a35babdf6
commit d25f3b013e
1 changed files with 25 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
leo/commands/build.rs
View File

@ -186,6 +186,18 @@ impl SerializedKeypairAssembly {
impl<E: PairingEngine> From<KeypairAssembly<E>> for SerializedKeypairAssembly {
fn from(assembly: KeypairAssembly<E>) -> Self {
fn get_serialized_constraints(constraints: &Vec<(E::Fr, Index)>) -> Vec<(SerializedField, SerializedIndex)> {
let mut serialized = vec![];
for &(ref coeff, index) in constraints.iter() {
let field = SerializedField::from(coeff);
let index = SerializedIndex::from(index);
serialized.push((field, index))
}
serialized
}
let mut result = Self {
num_inputs: assembly.num_inputs,
num_aux: assembly.num_aux,
@ -196,14 +208,20 @@ impl<E: PairingEngine> From<KeypairAssembly<E>> for SerializedKeypairAssembly {
};
for i in 0..assembly.num_constraints {
let mut a_vec = vec![];
for &(ref coeff, index) in assembly.at[i].iter() {
let field = SerializedField::from(coeff);
let index = SerializedIndex::from(index);
// Serialize at[i]
a_vec.push((field, index))
}
result.at.push(a_vec);
let a_constraints = get_serialized_constraints(&assembly.at[i]);
result.at.push(a_constraints);
// Serialize bt[i]
let b_constraints = get_serialized_constraints(&assembly.bt[i]);
result.bt.push(b_constraints);
// Serialize ct[i]
let c_constraints = get_serialized_constraints(&assembly.ct[i]);
result.ct.push(c_constraints);
}
result