Compare commits
4 Commits
4d95f7fabf
...
ed51d45cc4
Author | SHA1 | Date |
---|---|---|
Roman Zajic | ed51d45cc4 | |
Roman | 30b528f421 | |
Roman Zajic | 1e7f2e61ee | |
Roman | c2737a28c5 |
|
@ -27,12 +27,12 @@ impl LeaderProof {
|
|||
}
|
||||
|
||||
#[cfg(test)]
|
||||
pub fn dummy(slot: Slot) -> Self {
|
||||
pub fn dummy(slot: Slot, commitment: Commitment, evolved_commitment: Commitment) -> Self {
|
||||
Self {
|
||||
commitment: Commitment([0; 32]),
|
||||
commitment,
|
||||
nullifier: Nullifier([0; 32]),
|
||||
slot,
|
||||
evolved_commitment: Commitment([0; 32]),
|
||||
evolved_commitment,
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
@ -759,7 +759,7 @@ pub mod tests {
|
|||
assert!(matches!(_nullifier_bytes, _zero_bytes));
|
||||
|
||||
let slot = Slot::genesis();
|
||||
let leader_proof = LeaderProof::dummy(slot);
|
||||
let leader_proof = LeaderProof::dummy(slot, commitment, Commitment::from([0; 32]));
|
||||
|
||||
assert_eq!(leader_proof.commitment(), &commitment);
|
||||
assert_eq!(leader_proof.evolved_commitment(), &commitment);
|
||||
|
@ -771,4 +771,49 @@ pub mod tests {
|
|||
// Test ser/de of compact representation for Commitment
|
||||
assert_tokens(&commitment.compact(), &[Token::BorrowedBytes(&[0; 32])]);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_cryptarchia_ledger_error_cases() {
|
||||
let coin = coin(0);
|
||||
let commitment = coin.commitment();
|
||||
let (ledger, genesis) = ledger(&[commitment]);
|
||||
|
||||
let ledger_state = ledger.state(&genesis).unwrap().clone();
|
||||
let ledger_config = ledger.config();
|
||||
|
||||
let slot = Slot::genesis() + 10;
|
||||
let ledger_state2 = ledger_state
|
||||
.update_epoch_state::<HeaderId>(slot, ledger_config)
|
||||
.expect("Ledger needs to move forward");
|
||||
|
||||
let slot2 = Slot::genesis() + 1;
|
||||
let update_epoch_err = ledger_state2
|
||||
.update_epoch_state::<HeaderId>(slot2, ledger_config)
|
||||
.err();
|
||||
|
||||
// Time cannot flow backwards
|
||||
match update_epoch_err {
|
||||
Some(LedgerError::InvalidSlot { parent, block })
|
||||
if parent == slot && block == slot2 => {}
|
||||
_ => panic!("error does not match the LedgerError::InvalidSlot pattern"),
|
||||
};
|
||||
|
||||
let ledger_state = ledger.state(&genesis).unwrap().clone();
|
||||
let actual_slot = ledger_state.slot();
|
||||
let proof = LeaderProof::dummy(actual_slot, commitment, commitment);
|
||||
let epoch_state = ledger_state.epoch_state();
|
||||
|
||||
assert_eq!(ledger_state.can_lead(&commitment), true);
|
||||
assert_eq!(epoch_state.is_eligible_leader(&commitment), true);
|
||||
|
||||
let apply_proof_err = ledger_state
|
||||
.try_apply_proof::<HeaderId>(&proof, ledger_config)
|
||||
.err();
|
||||
|
||||
// Commitment cannot be spent twice
|
||||
assert!(
|
||||
matches!(apply_proof_err, Some(LedgerError::CommitmentExists)),
|
||||
"Error does not match LedgerError::CommitmentExists"
|
||||
);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue