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
75
76
77
78
79
80
81
82
83
84
use crate::{
dpc::{generate_test_accounts, setup_or_load_parameters},
storage::*,
};
use snarkos_consensus::MerkleTreeLedger;
use snarkos_dpc::base_dpc::{instantiated::*, BaseDPCComponents, NoopProgram};
use snarkos_models::{algorithms::CRH, dpc::DPCScheme, genesis::Genesis};
use snarkos_objects::{Account, Block};
use snarkos_parameters::GenesisBlock;
use snarkos_utilities::{
bytes::{FromBytes, ToBytes},
to_bytes,
};
use once_cell::sync::Lazy;
use rand::SeedableRng;
use rand_xorshift::XorShiftRng;
pub static FIXTURE: Lazy<Fixture> = Lazy::new(|| setup(false));
pub static FIXTURE_VK: Lazy<Fixture> = Lazy::new(|| setup(true));
pub struct Fixture {
pub parameters: <InstantiatedDPC as DPCScheme<MerkleTreeLedger>>::Parameters,
pub test_accounts: [Account<Components>; 3],
pub ledger_parameters: CommitmentMerkleParameters,
pub genesis_block: Block<Tx>,
pub program: NoopProgram<Components, <Components as BaseDPCComponents>::NoopProgramSNARK>,
pub rng: XorShiftRng,
}
impl Fixture {
pub fn ledger(&self) -> MerkleTreeLedger {
initialize_test_blockchain(self.ledger_parameters.clone(), self.genesis_block.clone())
}
}
fn setup(verify_only: bool) -> Fixture {
let mut rng = XorShiftRng::seed_from_u64(1231275789u64);
let (ledger_parameters, parameters) = setup_or_load_parameters(verify_only, &mut rng);
let test_accounts = generate_test_accounts(¶meters, &mut rng);
let genesis_block: Block<Tx> = FromBytes::read(GenesisBlock::load_bytes().as_slice()).unwrap();
let program_vk_hash = to_bytes![
ProgramVerificationKeyCRH::hash(
¶meters.system_parameters.program_verification_key_crh,
&to_bytes![parameters.noop_program_snark_parameters().verification_key].unwrap()
)
.unwrap()
]
.unwrap();
let program = NoopProgram::new(program_vk_hash);
Fixture {
parameters,
test_accounts,
ledger_parameters,
genesis_block,
program,
rng,
}
}