winter-air 0.13.1

AIR components for the Winterfell STARK prover/verifier
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// Copyright (c) Facebook, Inc. and its affiliates.
//
// This source code is licensed under the MIT license found in the
// LICENSE file in the root directory of this source tree.

use super::Proof;

#[test]
pub fn starkproof_new_dummy_doesnt_panic() {
    let _ = Proof::new_dummy();
}

#[test]
fn dummy_proof_serialization() {
    let proof = Proof::new_dummy();

    let bytes = proof.to_bytes();

    let proof_copy = Proof::from_bytes(&bytes).unwrap();

    assert_eq!(proof, proof_copy);
}