export-aptos-verifier-core 0.1.0

Load Groth16 artifacts from snarkjs JSON or Arkworks bundles and generate Aptos Move verifier packages.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

use serde::Serialize;

#[derive(Debug, Serialize)]
pub struct MovegenTemplateInput {
    pub package_name: String,
    pub module_name: String,
    pub account_address: String,
    pub named_address: String,
    pub vk_alpha_g1: String,
    pub vk_beta_g2: String,
    pub vk_gamma_g2: String,
    pub vk_delta_g2: String,
    pub vk_gamma_abc_g1: Vec<String>,
    pub vk_gamma_abc_g1_rendered: String,
    pub proof_a: String,
    pub proof_b: String,
    pub proof_c: String,
    pub public_inputs_bytes: Vec<String>,
    pub public_inputs_rendered: String,
    pub include_entry: bool,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum MovegenMode {
    Library,
    Entry,
    Test,
}

impl MovegenMode {
    pub fn include_entry(self) -> bool {
        matches!(self, Self::Entry | Self::Test)
    }
}