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
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

//! Operations on the BLS12-381 pairing-friendly elliptic curve.
//!
//! ## Point arithmetic
//! - [`curve`] — Point arithmetic for G1.
//! - [`twist`] — Point arithmetic for G2.
//!
//! ## Field arithmetic
//! - [`fp`] — Base field Fp (384-bit prime field).
//! - [`fr`] — Scalar field Fr.
//! - [`fp2`] — Degree-2 extension Fp2.
//! - [`fp6`] — Degree-6 extension Fp6.
//! - [`fp12`] — Degree-12 extension Fp12.
//!
//! ## Pairing
//! - [`miller_loop`] — Miller loop computation.
//! - [`final_exp`] — Final exponentiation.
//! - [`cyclotomic`] — Cyclotomic subgroup arithmetic.
//! - [`pairing`] — Optimal Ate pairing and batch pairing check.
//!
//! ## KZG, BLS and hash-to-curve
//! - [`kzg`] — KZG polynomial commitment proof verification.
//! - [`bls`] — BLS signature verification.
//! - [`map_to_curve`] — Map-to-curve for G1 and G2.
//! - [`hash_to_curve`] — Hash-to-curve for G2.

mod bls;
mod constants;
mod curve;
mod cyclotomic;
mod final_exp;
mod fp;
mod fp12;
mod fp2;
mod fp6;
mod fr;
mod hash_to_curve;
mod kzg;
mod map_to_curve;
mod miller_loop;
mod pairing;
mod twist;

pub use bls::*;
pub use curve::*;
pub use cyclotomic::*;
pub use final_exp::*;
pub use fp::*;
pub use fp12::*;
pub use fp2::*;
pub use fp6::*;
pub use fr::*;
pub use hash_to_curve::*;
pub use kzg::*;
pub use map_to_curve::*;
pub use pairing::*;
pub use twist::*;