zkevm_circuits 0.153.12

ZKsync Era circuits for EraVM
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

use crate::bn254::tests::json::types::{RawFq12, RawG1Point, RawG2Point};
use serde::{Deserialize, Serialize};

/// Test cases for easy exponentiation
const FINAL_EXP_TEST_CASES: &str = include_str!("final_exp_tests.json");
/// Test cases for pairing evaluation
const PAIRING_TEST_CASES: &str = include_str!("pairing_tests.json");
/// Ttest cases for invalid subgroup checks
const INVALID_SUBGROUP_CHECKS: &str = include_str!("pairing_invalid_subgroup_tests.json");

// --- Final exponentiation tests ---

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct FinalExpTestCase {
    pub scalar: RawFq12,
    pub expected: RawFq12,
}

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct FinalExpTestCases {
    pub tests: Vec<FinalExpTestCase>,
}

/// Load [`FinalExpTestCases`] from the local `.json` file
pub(in super::super) fn load_final_exp_test_cases() -> FinalExpTestCases {
    serde_json::from_str(&FINAL_EXP_TEST_CASES).expect("Failed to deserialize")
}

// --- Pairing tests ---
#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct PairingTestCase {
    pub g1_point: RawG1Point,
    pub g2_point: RawG2Point,
    pub miller_loop: RawFq12,
    pub pairing: RawFq12,
}

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct PairingTestCases {
    pub tests: Vec<PairingTestCase>,
}

/// Load [`PairingTestCases`] test cases from the local `.json` file
pub(in super::super) fn load_pairing_test_cases() -> PairingTestCases {
    serde_json::from_str(&PAIRING_TEST_CASES).expect("Failed to deserialize")
}

// --- Invalid subgroup tests ---
#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct PairingInvalidSubgroupTestCase {
    pub g1_point: RawG1Point,
    pub g2_point: RawG2Point,
    pub g1_point_doubled: RawG1Point,
    pub g2_point_doubled: RawG2Point,
}

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct PairingInvalidSubgroupTestCases {
    pub tests: Vec<PairingInvalidSubgroupTestCase>,
}

/// Load [`PairingInvalidSubgroupTestCases`] from the local `.json` file
pub(in super::super) fn load_pairing_invalid_subgroup_test_cases() -> PairingInvalidSubgroupTestCases
{
    serde_json::from_str(&INVALID_SUBGROUP_CHECKS).expect("Failed to deserialize")
}