zkutil 0.5.0

Library for working with circom circuits
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

extern crate bellman_ce;
extern crate rand;
extern crate byteorder;
extern crate num_bigint;
extern crate num_traits;

use std::fmt::Display;
use itertools::Itertools;
use num_bigint::BigUint;
use num_traits::Num;
use bellman_ce::{
    groth16::Proof,
    pairing::{
        ff::PrimeField,
        CurveAffine,
        bn256::{
            G1Affine,
            G2Affine,
            Fq12,
            Bn256,
        },
    },
};

pub fn repr_to_big<T: Display>(r: T) -> String {
    BigUint::from_str_radix(&format!("{}", r)[2..], 16).unwrap().to_str_radix(10)
}

pub fn repr_to_hex<T: Display>(r: T) -> String {
    format!("{}", r)[2..].to_string()
}

pub fn proof_to_hex(proof: &Proof<Bn256>) -> String {
    let a = proof.a.into_xy_unchecked();
    let b = proof.b.into_xy_unchecked();
    let c = proof.c.into_xy_unchecked();
    [a.0, a.1, b.0.c1, b.0.c0, b.1.c1, b.1.c0, c.0, c.1]
        .iter()
        .map(|e| repr_to_hex(e.into_repr()))
        .join("")
}

pub fn p1_to_vec(p: &G1Affine) -> Vec<String> {
    let xy = p.into_xy_unchecked();
    vec![
        repr_to_big(xy.0.into_repr()),
        repr_to_big(xy.1.into_repr()),
        if p.is_zero() { "0".to_string() } else { "1".to_string() }
    ]
}

pub fn p2_to_vec(p: &G2Affine) -> Vec<Vec<String>> {
    let xy = p.into_xy_unchecked();
    vec![
        vec![
            repr_to_big(xy.0.c0.into_repr()),
            repr_to_big(xy.0.c1.into_repr()),
        ],
        vec![
            repr_to_big(xy.1.c0.into_repr()),
            repr_to_big(xy.1.c1.into_repr()),
        ],
        if p.is_zero() {
            vec!["0".to_string(), "0".to_string()]
        } else {
            vec!["1".to_string(), "0".to_string()]
        },
    ]
}

pub fn pairing_to_vec(p: &Fq12) -> Vec<Vec<Vec<String>>> {
    vec![
        vec![
            vec![
                repr_to_big(p.c0.c0.c0.into_repr()),
                repr_to_big(p.c0.c0.c1.into_repr()),
            ],
            vec![
                repr_to_big(p.c0.c1.c0.into_repr()),
                repr_to_big(p.c0.c1.c1.into_repr()),
            ],
            vec![
                repr_to_big(p.c0.c2.c0.into_repr()),
                repr_to_big(p.c0.c2.c1.into_repr()),
            ],
        ],
        vec![
            vec![
                repr_to_big(p.c1.c0.c0.into_repr()),
                repr_to_big(p.c1.c0.c1.into_repr()),
            ],
            vec![
                repr_to_big(p.c1.c1.c0.into_repr()),
                repr_to_big(p.c1.c1.c1.into_repr()),
            ],
            vec![
                repr_to_big(p.c1.c2.c0.into_repr()),
                repr_to_big(p.c1.c2.c1.into_repr()),
            ],
        ],
    ]
}