github/zk-email-verify
1
1
Fork 0
mirror of https://github.com/zkemail/zk-email-verify.git synced 2026-01-09 13:38:03 -05:00
Code Issues Packages Projects Releases Wiki Activity

feat: serialize public inputs

Browse Source
This commit is contained in:
zkFriendly
2024-07-12 13:04:16 +02:00
parent 48677a2407
commit 2c2392f184
1 changed files with 17 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
packages/rust-verifier/src/verifier_utils.rs
View File

@@ -12,6 +12,8 @@ use ark_ff::MontBackend;
use ark_groth16::Groth16;
use ark_groth16::Proof;
use ark_groth16::VerifyingKey;
use ark_serialize::CanonicalDeserialize;
use ark_serialize::CanonicalSerialize;
use serde::Deserialize;
use std::fs;
use std::ops::Deref;
@@ -40,7 +42,7 @@ struct SnarkJsVkey {
#[derive(Debug)]
pub struct PublicInputs<const N: usize> {
inputs: [GrothFp; N],
pub inputs: [GrothFp; N],
}
pub trait JsonDecoder {
@@ -176,3 +178,17 @@ impl<const N: usize> Deref for PublicInputs<N> {
&self.inputs
}
}
impl<const N: usize> CanonicalSerialize for PublicInputs<N> {
fn serialize_with_mode<W: ark_serialize::Write>(
&self,
writer: W,
compress: ark_serialize::Compress,
) -> Result<(), ark_serialize::SerializationError> {
self.inputs.serialize_with_mode(writer, compress)
}
fn serialized_size(&self, compress: ark_serialize::Compress) -> usize {
self.inputs.serialized_size(compress)
}
}