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

use serde::{Deserialize, Serialize};

use crate::bn254::tests::json::types::RawG1Point;

/// Path to the test cases for scalar decomposition
const DECOMPOSITION_TEST_CASES: &str = include_str!("decomposition_tests.json");
/// Path to the test cases for scalar multiplication
const EC_MUL_TEST_CASES: &str = include_str!("ecmul_tests.json");

// --- Scalar decomposition tests ---

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct DecompositionTestCase {
    pub k: String,
    pub k1: String,
    pub k2: String,
    pub k2_negated: bool,
}

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

/// Load scalar decomposition test cases from the file
pub(in super::super) fn load_decomposition_test_cases() -> DecompositionTestCases {
    serde_json::from_str(&DECOMPOSITION_TEST_CASES).expect("Failed to deserialize")
}

// --- EC multiplication tests ---

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct MultiplicationTestCase {
    pub point: RawG1Point,
    pub scalar: String,
    pub expected: RawG1Point,
}

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

/// Load scalar multiplication test cases from the file
pub(in super::super) fn load_multiplication_test_cases() -> MultiplicationTestCases {
    serde_json::from_str(&EC_MUL_TEST_CASES).expect("Failed to deserialize")
}