124 lines
5.6 KiB
Nim
Raw Permalink Normal View History

2024-12-10 15:45:32 +01:00
import ../basics
2024-12-04 15:10:22 +01:00
import codexvalidator/transaction
2024-12-04 15:43:34 +01:00
import codexvalidator/transaction/serialization
2024-12-16 10:16:00 +01:00
import codexvalidator/signatures
2024-12-04 15:10:22 +01:00
2024-12-04 15:43:34 +01:00
suite "Transaction serialization":
2024-12-04 15:10:22 +01:00
test "serializes a transaction with protobuf":
let transaction = Transaction.example
let serialized = transaction.toBytes()
{.warning[Deprecated]: off.} # ignore warning in protobuf_serialization
let protobuf = ProtoBuf.decode(serialized, TransactionMessage)
{.warning[Deprecated]: on.}
check protobuf.version == transaction.version.uint32
check protobuf.kind == transaction.kind.uint32
test "serializes storage proof input with protobuf":
let transaction = Transaction.example
let proofInput = transaction.proofInput
let serialized = transaction.toBytes()
let protobuf = ProtoBuf.decode(serialized, TransactionMessage)
check protobuf.proofInput.requestId == array[32, byte](proofInput.requestId)
check protobuf.proofInput.slotIndex == proofInput.slotIndex
check protobuf.proofInput.period == proofInput.period.uint64
check protobuf.proofInput.merkleRoot == array[32, byte](proofInput.merkleRoot)
check protobuf.proofInput.challenge == array[32, byte](proofInput.challenge)
2024-12-04 15:10:22 +01:00
test "serializes a storage proof with protobuf":
let proofInput = StorageProofInput.example
2024-12-04 15:10:22 +01:00
let proof = Groth16Proof.example
let transaction = Transaction.storageProof(proofInput, proof)
2024-12-04 15:10:22 +01:00
let serialized = transaction.toBytes()
let protobuf = ProtoBuf.decode(serialized, TransactionMessage)
check protobuf.proof.a.x == proof.a.x.toBytesBE()
check protobuf.proof.a.y == proof.a.y.toBytesBE()
check protobuf.proof.b.x.real == proof.b.x.real.toBytesBE()
check protobuf.proof.b.x.imag == proof.b.x.imag.toBytesBE()
check protobuf.proof.b.y.real == proof.b.y.real.toBytesBE()
check protobuf.proof.b.y.imag == proof.b.y.imag.toBytesBE()
check protobuf.proof.c.x == proof.c.x.toBytesBE()
check protobuf.proof.c.y == proof.c.y.toBytesBE()
2024-12-16 10:16:00 +01:00
test "serializes a signed transaction with protobuf":
2024-12-17 12:24:16 +01:00
let signed = Signed[Transaction].example
2024-12-16 10:16:00 +01:00
let serialized = signed.toBytes()
let protobuf = Protobuf.decode(serialized, SignedTransactionMessage)
2024-12-17 12:24:16 +01:00
check protobuf.transaction == TransactionMessage.init(signed.value)
2024-12-16 10:16:00 +01:00
check protobuf.signer == signed.signer.toBytes()
check protobuf.signature == signed.signature.toBytes()
2024-12-17 12:24:16 +01:00
test "deserializes a signed transaction":
let signed = Signed[Transaction].example
let serialized = signed.toBytes()
let deserialized = Signed[Transaction].fromBytes(serialized)
check deserialized == success signed
test "deserialization fails when protobuf encoding is invalid":
let invalid = seq[byte].example
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
test "deserialization fails when signer is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.signer &= 42'u8
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "invalid identifier"
test "deserialization fails when signature is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.signature &= 42'u8
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "invalid signature"
test "deserialization fails when transaction version is unsupported":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.transaction.version = 42
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "unsupported transaction version: 42"
test "deserialization fails when transaction kind is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.transaction.kind = 42
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "invalid transaction kind: 42"
test "deserialization fails when storage request id is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.transaction.proofInput.requestid &= 42'u8
2024-12-17 12:24:16 +01:00
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "expected 32 bytes but got: 33"
test "deserialization fails when merkle root is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.transaction.proofInput.merkleRoot &= 42'u8
2024-12-17 12:24:16 +01:00
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "expected 32 bytes but got: 33"
test "deserialization fails when challenge is invalid":
let signed = Signed[Transaction].example
var message = SignedTransactionMessage.init(signed)
message.transaction.proofInput.challenge &= 42'u8
2024-12-17 12:24:16 +01:00
let invalid = Protobuf.encode(message)
let deserialized = Signed[Transaction].fromBytes(invalid)
check deserialized.isFailure
check deserialized.errorOption.?msg == some "expected 32 bytes but got: 33"