halo2-ecc 0.5.1

In-circuit elliptic curve library for halo2.
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

use std::fs::File;

use super::{msm::msm_test, *};

fn run_test(scalars: Vec<Fr>, bases: Vec<G1Affine>) {
    let path = "configs/bn254/msm_circuit.config";
    let params: MSMCircuitParams = serde_json::from_reader(
        File::open(path).unwrap_or_else(|e| panic!("{path} does not exist: {e:?}")),
    )
    .unwrap();
    base_test().k(params.degree).lookup_bits(params.lookup_bits).run_builder(|pool, range| {
        msm_test(pool, range, params, bases, scalars);
    });
}

#[test]
fn test_msm1() {
    let rng = StdRng::seed_from_u64(0);
    let random_point = G1Affine::random(rng);
    let bases = vec![random_point, random_point, random_point];
    let scalars = vec![Fr::one(), Fr::one(), -Fr::one() - Fr::one()];
    run_test(scalars, bases);
}

#[test]
fn test_msm2() {
    let rng = StdRng::seed_from_u64(0);
    let random_point = G1Affine::random(rng);
    let bases = vec![random_point, random_point, (random_point + random_point).to_affine()];
    let scalars = vec![Fr::one(), Fr::one(), -Fr::one()];
    run_test(scalars, bases);
}

#[test]
fn test_msm3() {
    let rng = StdRng::seed_from_u64(0);
    let random_point = G1Affine::random(rng);
    let bases = vec![
        random_point,
        random_point,
        random_point,
        (random_point + random_point + random_point).to_affine(),
    ];
    let scalars = vec![Fr::one(), Fr::one(), Fr::one(), -Fr::one()];
    run_test(scalars, bases);
}

#[test]
fn test_msm4() {
    let generator_point = G1Affine::generator();
    let bases = vec![
        generator_point,
        generator_point,
        generator_point,
        (generator_point + generator_point + generator_point).to_affine(),
    ];
    let scalars = vec![Fr::one(), Fr::one(), Fr::one(), -Fr::one()];
    run_test(scalars, bases);
}

#[test]
fn test_msm5() {
    let rng = StdRng::seed_from_u64(0);
    let random_point = G1Affine::random(rng);
    let bases =
        vec![random_point, random_point, random_point, (random_point + random_point).to_affine()];
    let scalars = vec![-Fr::one(), -Fr::one(), Fr::one(), Fr::one()];
    run_test(scalars, bases);
}