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

//! Arbitrary-precision integer arithmetic over multi-limb `[u64]` slices.
//!
//! - Addition: [`add_agtb`], [`add_short`].
//! - Multiplication: [`mul_short`], [`mul_long`], [`mulmod_short`].
//! - Squaring: [`square_long`].
//! - Division: [`div_short`], [`div_long`].
//! - Remainder: [`rem_short_init`], [`rem_long`].
//! - Modular exponentiation: [`modexp`].

mod add_agtb;
mod add_short;
mod common;
mod div_long;
mod div_short;
mod modexp;
mod mul_long;
mod mul_short;
mod rem_long;
mod rem_short;
mod square_long;

pub use add_agtb::*;
pub use add_short::*;
pub use common::{LongScratch, RemLongScratch, U256};
pub use div_long::*;
pub use div_short::*;
pub use modexp::*;
pub use mul_long::*;
pub use mul_short::*;
pub use rem_long::*;
pub use rem_short::*;
pub use square_long::*;