2024-12-10 15:45:32 +01:00
|
|
|
import ../basics
|
2024-12-02 15:45:44 +01:00
|
|
|
import codexvalidator/transaction
|
|
|
|
|
|
|
|
|
|
suite "Transaction":
|
|
|
|
|
|
|
|
|
|
test "a transaction can contain a storage proof":
|
2024-12-17 13:10:22 +01:00
|
|
|
let proofInput = StorageProofInput.example
|
2024-12-02 15:45:44 +01:00
|
|
|
let proof = Groth16Proof.example
|
2024-12-17 13:10:22 +01:00
|
|
|
let transaction = Transaction.storageProof(proofInput, proof)
|
|
|
|
|
check transaction.proofInput == proofInput
|
2024-12-02 15:45:44 +01:00
|
|
|
check transaction.proof == proof
|
|
|
|
|
|
|
|
|
|
test "a transaction can indicate a missing storage proof":
|
2024-12-17 13:10:22 +01:00
|
|
|
let proofInput = StorageProofInput.example
|
|
|
|
|
let transaction = Transaction.missingProof(proofInput)
|
|
|
|
|
check transaction.proofInput == proofInput
|
2024-12-02 15:45:44 +01:00
|
|
|
|
|
|
|
|
test "transactions have a fixed version":
|
|
|
|
|
let transaction = Transaction.example
|
|
|
|
|
check transaction.version == TransactionVersion.version0
|