2024-12-10 15:45:32 +01:00
|
|
|
import ./basics
|
2024-12-04 10:08:59 +01:00
|
|
|
import pkg/blscurve
|
2024-12-03 15:11:39 +01:00
|
|
|
import codexvalidator/signatures
|
|
|
|
|
|
|
|
|
|
suite "Signature scheme":
|
|
|
|
|
|
|
|
|
|
test "uses BLS private key as validator identity":
|
2024-12-04 10:08:59 +01:00
|
|
|
check signatures.Identity is blscurve.SecretKey
|
2024-12-03 15:11:39 +01:00
|
|
|
|
|
|
|
|
test "uses BLS public key as validator identifier":
|
2024-12-04 10:08:59 +01:00
|
|
|
check signatures.Identifier is blscurve.PublicKey
|
2024-12-03 15:11:39 +01:00
|
|
|
|
|
|
|
|
test "uses BLS signatures":
|
2024-12-04 10:08:59 +01:00
|
|
|
check signatures.Signature is blscurve.Signature
|
2024-12-03 15:11:39 +01:00
|
|
|
|
|
|
|
|
test "can create a new random identity":
|
|
|
|
|
var identity1, identity2: Identity
|
|
|
|
|
Identity.random(identity1)
|
|
|
|
|
Identity.random(identity2)
|
|
|
|
|
check identity1.identifier != identity2.identifier
|
|
|
|
|
|
|
|
|
|
test "derives identifier (public key) from the identity (private key)":
|
|
|
|
|
var identity: Identity
|
|
|
|
|
Identity.random(identity)
|
|
|
|
|
var publicKey: PublicKey
|
2024-12-04 10:08:59 +01:00
|
|
|
check publicFromSecret(publicKey, identity)
|
2024-12-03 15:11:39 +01:00
|
|
|
check identity.identifier == publicKey
|
|
|
|
|
|
|
|
|
|
test "identity can sign messages":
|
|
|
|
|
var identity: Identity
|
|
|
|
|
Identity.random(identity)
|
|
|
|
|
let message = seq[byte].example
|
|
|
|
|
let signature1, signature2 = identity.sign(message)
|
|
|
|
|
check signature1 == signature2
|
|
|
|
|
|
|
|
|
|
test "signatures can be verified":
|
|
|
|
|
var identity1, identity2: Identity
|
|
|
|
|
Identity.random(identity1)
|
|
|
|
|
Identity.random(identity2)
|
|
|
|
|
let message = seq[byte].example
|
|
|
|
|
let signature = identity1.sign(message)
|
2024-12-04 10:08:59 +01:00
|
|
|
check identity1.identifier.verify(message, signature)
|
|
|
|
|
check not identity2.identifier.verify(message, signature)
|