logos-storage/logos-storage-proofs
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs.git synced 2026-01-02 13:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

rework funcs

Browse Source
This commit is contained in:
Jaremy Creechley 2023-12-11 16:07:17 -07:00
parent 8f96b8f6b8
commit ca00f84a75
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/storage_proofs.rs
View File

@ -13,7 +13,7 @@ use ruint::aliases::U256;
use rmpv; use rmpv;
use rmpv::decode::read_value; use rmpv::decode::read_value;
type CircomBuilderParams = CircomBuilder<ark_ec::bn::Bn<ark_bn254::Parameters>>; type Params256Ty = ark_ec::bn::Bn<ark_bn254::Parameters>;
const EXT_ID_U256_LE: i8 = 50; const EXT_ID_U256_LE: i8 = 50;
const EXT_ID_U256_BE: i8 = 51; const EXT_ID_U256_BE: i8 = 51;
@ -108,7 +108,7 @@ impl StorageProofs {
pub fn proof_build_inputs( pub fn proof_build_inputs(
&mut self, &mut self,
mut inputs: &[u8] mut inputs: &[u8]
) -> Result<CircomCircuit<ark_ec::bn::Bn<ark_bn254::Parameters>>, String> { ) -> Result<CircomCircuit<Params256Ty>, String> {
let values: rmpv::Value = read_value(&mut inputs).map_err(|e| e.to_string())?; let values: rmpv::Value = read_value(&mut inputs).map_err(|e| e.to_string())?;
let args: &Vec<(rmpv::Value, rmpv::Value)> = match values.as_map() { let args: &Vec<(rmpv::Value, rmpv::Value)> = match values.as_map() {
@ -116,7 +116,7 @@ impl StorageProofs {
None => return Err("args must be a map of string to arrays".to_string()), None => return Err("args must be a map of string to arrays".to_string()),
}; };
let mut builder: CircomBuilderParams = self.builder.clone(); let mut builder: CircomBuilder<Params256Ty> = self.builder.clone();
for (key, val) in args { for (key, val) in args {
let name = match key.as_str() { let name = match key.as_str() {
Some(n) => n, Some(n) => n,
@ -156,15 +156,15 @@ impl StorageProofs {
} }
} }
let circuit: CircomCircuit<ark_ec::bn::Bn<ark_bn254::Parameters>> = builder.build() let circuit: CircomCircuit<Params256Ty> = builder.build()
.map_err(|e| e.to_string())?; .map_err(|e| e.to_string())?;
Ok(circuit) Ok(circuit)
} }
pub fn proof_run( pub fn prove_run(
&mut self, &mut self,
circuit: CircomCircuit<ark_ec::bn::Bn<ark_bn254::Parameters>>, circuit: CircomCircuit<Params256Ty>,
proof_bytes: &mut Vec<u8>, proof_bytes: &mut Vec<u8>,
public_inputs_bytes: &mut Vec<u8>, public_inputs_bytes: &mut Vec<u8>,
) -> Result<(), String> { ) -> Result<(), String> {