ziskos 1.1.0-alpha

Guest runtime and entrypoint for programs targeting the ZisK zkVM
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Shared data structures for complex field elements used by Fp2 syscalls.

/// A complex field element over a 256-bit base field, represented as `x + y·i`.
#[derive(Debug)]
#[repr(C)]
pub struct SyscallComplex256 {
    pub x: [u64; 4],
    pub y: [u64; 4],
}

/// A complex field element over a 384-bit base field, represented as `x + y·i`.
#[derive(Debug)]
#[repr(C)]
pub struct SyscallComplex384 {
    pub x: [u64; 6],
    pub y: [u64; 6],
}