zkevm_circuits 0.153.9

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

use serde::{Deserialize, Serialize};

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

/// Path to the test cases for EC addition
const EC_ADD_TEST_CASES: &str = include_str!("ecadd_tests.json");

// --- EC Add tests ---

#[derive(Clone, Debug, Deserialize, Serialize)]
pub struct ECAddTestCase {
    pub point_1: RawG1Point,
    pub point_2: RawG1Point,
    pub expected: RawG1Point,
}

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

/// Load EC addition test cases from the file
pub(in super::super) fn load_ec_add_test_cases() -> ECAddTestCases {
    serde_json::from_str(&EC_ADD_TEST_CASES).expect("Failed to deserialize")
}