shivini 0.156.0

Shvini is a library implementing a GPU-accelerated zkSync prover
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

#![allow(incomplete_features)]
#![feature(allocator_api)]
#![feature(array_chunks)]
#![feature(associated_type_defaults)]
#![feature(iter_array_chunks)]
#![feature(get_mut_unchecked)]
#![feature(generic_const_exprs)]
pub use boojum;
mod context;
#[cfg(test)]
mod test;
use boojum::field::goldilocks::GoldilocksExt2 as EXT;
use boojum::field::goldilocks::GoldilocksField as F;
use boojum::field::{ExtensionField, Field, PrimeField};
use context::*;
mod oracle;
use oracle::*;
mod fri;
use fri::*;
mod pow;

mod utils;
use utils::*;
mod primitives;
use primitives::dry_run::*;
mod static_allocator;
use static_allocator::*;
mod dvec;
use dvec::*;
mod constraint_evaluation;
mod copy_permutation;
pub mod cs;
mod data_structures;
mod lookup;
mod poly;
mod traits;
use constraint_evaluation::*;
use copy_permutation::*;
use data_structures::*;
use lookup::*;
use poly::*;
pub mod gpu_proof_config;
mod prover;
mod quotient;
#[cfg(feature = "zksync")]
pub mod synthesis_utils;
#[cfg(feature = "zksync")]
pub use circuit_definitions;

use quotient::*;
type EF = ExtensionField<F, 2, EXT>;

use primitives::*;
use std::alloc::Global;
use std::fmt::Debug;
use std::slice::Chunks;

use primitives::arith;
use primitives::cs_helpers;
use primitives::helpers;

use primitives::ntt;
use primitives::tree;

use boojum::cs::traits::GoodAllocator;
pub use context::ProverContext;
pub use context::ProverContextConfig;
pub use data_structures::CacheStrategy;
pub use data_structures::CommitmentCacheStrategy;
pub use data_structures::PolynomialsCacheStrategy;
pub use pow::GPUPoWRunner;
pub use primitives::tree::GpuTreeHasher;
pub use prover::gpu_prove_from_external_witness_data;
pub use prover::gpu_prove_from_external_witness_data_with_cache_strategy;