neptune-consensus 0.14.0

Consensus logic and proof abstractions for Neptune Cash.
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

/// This file contains abstractions for verifying consensus logic using TritonVM STARK
/// proofs. The concrete logic is specified in the directories `transaction` and `block`.
use tasm_lib::triton_vm;
use tasm_lib::triton_vm::prelude::Program;
use tasm_lib::twenty_first::math::b_field_element::BFieldElement;
use triton_vm::prelude::Claim;
use triton_vm::prelude::NonDeterminism;
use triton_vm::prelude::PublicInput;

pub mod error;
pub mod proof_builder;
pub mod tasm;
#[cfg(any(test, feature = "test-helpers"))]
pub mod test_helpers;
#[cfg(any(test, feature = "test-helpers"))]
pub mod test_runtime;
pub mod triton_vm_env_vars;
pub mod triton_vm_job_queue;
pub mod tx_proving_capability;
pub mod verifier;

/// A [`SecretWitness`] is data that makes a `TritonProgram` halt gracefully,
/// but that should be hidden behind a zero-knowledge proof.
///
/// Phrased differently, after proving the matching `TritonProgram`, the
/// `SecretWitness` should be securely deleted.
pub trait SecretWitness {
    /// The program's (public/standard) input
    fn standard_input(&self) -> PublicInput;

    /// The program's (public/standard) output.
    fn output(&self) -> Vec<BFieldElement> {
        vec![]
    }

    fn program(&self) -> Program;

    fn claim(&self) -> Claim {
        Claim::about_program(&self.program())
            .with_input(self.standard_input().individual_tokens)
            .with_output(self.output())
    }

    /// The non-determinism for the VM that this witness corresponds to
    fn nondeterminism(&self) -> NonDeterminism;
}