def testBlockchain(
b: int
) -> None:
#Data.
data: Data = Data.fromJSON(vectors["data"])
#pylint: disable=no-member
#MeritRemoval.
removal: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(vectors["removals"][b])
#Create and execute a Liver to send the MeritRemoval.
def sendMeritRemoval() -> None:
#Send the Data.
if rpc.meros.liveTransaction(data) != rpc.meros.live.recv():
raise TestError("Meros didn't send back the Data.")
rpc.meros.signedElement(removal)
try:
if len(rpc.meros.live.recv()) != 0:
raise Exception()
except TestError:
raise SuccessError("Meros rejected our MeritRemoval created from the same Element.")
except Exception:
raise TestError("Meros accepted our MeritRemoval created from the same Element.")
Liver(
rpc,
vectors["blockchain"],
callbacks={
1: sendMeritRemoval
}
).live()
def MultipleTest(rpc: RPC) -> None:
file: IO[Any] = open("e2e/Vectors/Consensus/MeritRemoval/Multiple.json",
"r")
vectors: Dict[str, Any] = json.loads(file.read())
file.close()
#MeritRemovals.
removals: List[SignedMeritRemoval] = [
SignedMeritRemoval.fromSignedJSON(vectors["removals"][0]),
SignedMeritRemoval.fromSignedJSON(vectors["removals"][1])
]
#Send and verify the MeritRemoval.
def sendMeritRemovals() -> None:
removalBuf: bytes = rpc.meros.signedElement(removals[0])
if removalBuf != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removals[0].holder, True)
rpc.meros.signedElement(removals[1])
if removalBuf != rpc.meros.live.recv():
raise TestError("Meros didn't send us the first Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removals[0].holder, True)
#Verify the holder has 0 Merit and is marked as malicious.
def verifyFirstMeritRemoval() -> None:
verifyMeritRemoval(rpc, 0, 0, removals[0].holder, True)
#Create and execute a Liver to handle the Signed MeritRemovals.
Liver(rpc,
vectors["blockchain"],
callbacks={
1: sendMeritRemovals,
2: verifyFirstMeritRemoval,
3:
lambda: verifyMeritRemoval(rpc, 0, 0, removals[0].holder, False)
}).live()
#Create and execute a Syncer to handle a Signed MeritRemoval.
Syncer(rpc, vectors["blockchain"]).sync()
verifyMeritRemoval(rpc, 0, 0, removals[0].holder, False)
def SameNonceTest(rpc: RPC) -> None:
file: IO[Any] = open("e2e/Vectors/Consensus/MeritRemoval/SameNonce.json",
"r")
vectors: Dict[str, Any] = json.loads(file.read())
file.close()
#MeritRemoval.
#pylint: disable=no-member
removal: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(
vectors["removal"])
#Create and execute a Liver to cause a Signed MeritRemoval.
def sendElements() -> None:
#Send the Elements.
rpc.meros.signedElement(removal.se1)
rpc.meros.signedElement(removal.se2)
#Verify the first Element.
if rpc.meros.live.recv() != (MessageType.SignedDataDifficulty.toByte()
+ removal.se1.signedSerialize()):
raise TestError("Meros didn't send us the first Data Difficulty.")
#Verify the MeritRemoval.
if rpc.meros.live.recv() != (MessageType.SignedMeritRemoval.toByte() +
removal.signedSerialize()):
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removal.holder, True)
Liver(rpc,
vectors["blockchain"],
callbacks={
1: sendElements,
2: lambda: verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
}).live()
#Create and execute a Liver to handle a Signed MeritRemoval.
def sendMeritRemoval() -> None:
#Send and verify the MeritRemoval.
if rpc.meros.signedElement(removal) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removal.holder, True)
Liver(rpc,
vectors["blockchain"],
callbacks={
1: sendMeritRemoval,
2: lambda: verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
}).live()
#Create and execute a Syncer to handle a Signed MeritRemoval.
Syncer(rpc, vectors["blockchain"]).sync()
verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
def InvalidCompetingTest(rpc: RPC) -> None:
file: IO[Any] = open(
"e2e/Vectors/Consensus/MeritRemoval/InvalidCompeting.json", "r")
vectors: Dict[str, Any] = json.loads(file.read())
file.close()
#Transactions.
transactions: Transactions = Transactions.fromJSON(vectors["transactions"])
#MeritRemoval.
#pylint: disable=no-member
removal: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(
vectors["removal"])
#Create and execute a Liver to handle the MeritRemoval.
def sendMeritRemoval() -> None:
#Send and verify the MeritRemoval.
removalBytes: bytes = rpc.meros.signedElement(removal)
sent: int = 0
while True:
if sent == 2:
break
msg: bytes = rpc.meros.sync.recv()
if MessageType(msg[0]) == MessageType.TransactionRequest:
rpc.meros.syncTransaction(transactions.txs[msg[1:33]])
sent += 1
else:
raise TestError("Unexpected message sent: " +
msg.hex().upper())
if removalBytes != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removal.holder, True)
#Verify the MeritRemoval and the Blockchain.
def verify() -> None:
verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
verifyBlockchain(rpc, Blockchain.fromJSON(vectors["blockchain"]))
raise SuccessError(
"MeritRemoval and Blockchain were properly handled.")
Liver(rpc,
vectors["blockchain"],
transactions,
callbacks={
1: sendMeritRemoval,
2: verify
}).live()
def MultipleTest(rpc: RPC) -> None:
vectors: Dict[str, Any]
with open("e2e/Vectors/Consensus/MeritRemoval/Multiple.json", "r") as file:
vectors = json.loads(file.read())
removals: List[SignedMeritRemoval] = [
SignedMeritRemoval.fromSignedJSON(vectors["removals"][0]),
SignedMeritRemoval.fromSignedJSON(vectors["removals"][1])
]
#Send and verify the MeritRemovals.
def sendMeritRemovals() -> None:
if rpc.meros.meritRemoval(removals[0]) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removals[0].holder, True)
if rpc.meros.meritRemoval(removals[1]) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the new Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removals[0].holder, True)
#Verify the holder has 0 Merit and isn't marked as malicious.
#Since they had one MeritRemoval archived, they're dead.
#They should have 0 merit, with the other MR being unaddable and therefore dropped.
def verifyFirstMeritRemoval() -> None:
verifyMeritRemoval(rpc, 0, 0, removals[0].holder, False)
Liver(rpc,
vectors["blockchain"],
callbacks={
1: sendMeritRemovals,
2: verifyFirstMeritRemoval
}).live()
#Create and execute a Syncer to handle a Signed MeritRemoval.
Syncer(rpc, vectors["blockchain"]).sync()
verifyMeritRemoval(rpc, 0, 0, removals[0].holder, False)
def HundredThirtyFiveTest(
rpc: RPC
) -> None:
file: IO[Any] = open("e2e/Vectors/Consensus/MeritRemoval/HundredThirtyFive.json", "r")
vectors: Dict[str, Any] = json.loads(file.read())
file.close()
#Datas.
datas: List[Data] = [
Data.fromJSON(vectors["datas"][0]),
Data.fromJSON(vectors["datas"][1]),
Data.fromJSON(vectors["datas"][2])
]
#Transactions.
transactions: Transactions = Transactions()
for data in datas:
transactions.add(data)
#First MeritRemoval.
mr: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(vectors["removal"])
def sendMeritRemoval() -> None:
#Send the Datas.
for data in datas:
if rpc.meros.liveTransaction(data) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Data.")
#Send and verify the original MeritRemoval.
if rpc.meros.signedElement(mr) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, mr.holder, True)
Liver(
rpc,
vectors["blockchain"],
transactions,
callbacks={
1: sendMeritRemoval
}
).live()
def VerifyCompetingTest(rpc: RPC) -> None:
file: IO[Any] = open(
"e2e/Vectors/Consensus/MeritRemoval/VerifyCompeting.json", "r")
vectors: Dict[str, Any] = json.loads(file.read())
file.close()
#Datas.
datas: List[Data] = [
Data.fromJSON(vectors["datas"][0]),
Data.fromJSON(vectors["datas"][1]),
Data.fromJSON(vectors["datas"][2])
]
#Transactions.
transactions: Transactions = Transactions()
for data in datas:
transactions.add(data)
#Initial Data's Verification.
verif: SignedVerification = SignedVerification.fromSignedJSON(
vectors["verification"])
#MeritRemoval.
#pylint: disable=no-member
removal: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(
vectors["removal"])
#Create and execute a Liver to cause a Signed MeritRemoval.
def sendElements() -> None:
#Send the Datas.
for data in datas:
if rpc.meros.liveTransaction(data) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Data.")
#Send the initial Data's verification.
if rpc.meros.signedElement(verif) != rpc.meros.live.recv():
raise TestError("Meros didn't us the initial Data's Verification.")
#Send the first Element.
if rpc.meros.signedElement(removal.se1) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Verification.")
#Trigger the MeritRemoval.
rpc.meros.signedElement(removal.se2)
if rpc.meros.live.recv() != (MessageType.SignedMeritRemoval.toByte() +
removal.signedSerialize()):
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removal.holder, True)
Liver(rpc,
vectors["blockchain"],
transactions,
callbacks={
1: sendElements,
2: lambda: verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
}).live()
#Create and execute a Liver to handle a Signed MeritRemoval.
def sendMeritRemoval() -> None:
#Send the Datas.
for data in datas:
if rpc.meros.liveTransaction(data) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Data.")
#Send the initial Data's verification.
if rpc.meros.signedElement(verif) != rpc.meros.live.recv():
raise TestError("Meros didn't us the initial Data's Verification.")
#Send and verify the MeritRemoval.
if rpc.meros.signedElement(removal) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, removal.holder, True)
Liver(rpc,
vectors["blockchain"],
transactions,
callbacks={
1: sendMeritRemoval,
2: lambda: verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
}).live()
#Create and execute a Syncer to handle a Signed MeritRemoval.
Syncer(rpc, vectors["blockchain"], transactions).sync()
verifyMeritRemoval(rpc, 1, 1, removal.holder, False)
def testBlockchain(i: int) -> None:
#First MeritRemoval.
mr: SignedMeritRemoval = SignedMeritRemoval.fromSignedJSON(
vectors["removals"][i])
def sendMeritRemoval() -> None:
#Send the Datas.
for data in datas:
if rpc.meros.liveTransaction(data) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Data.")
#Send and verify the MeritRemoval.
if rpc.meros.signedElement(mr) != rpc.meros.live.recv():
raise TestError("Meros didn't send us the Merit Removal.")
verifyMeritRemoval(rpc, 1, 1, mr.holder, True)
def sendRepeatMeritRemoval() -> None:
#Send the Block containing the modified Merit Removal.
block: Block = Block.fromJSON(vectors["blockchains"][i][-1])
rpc.meros.liveBlockHeader(block.header)
#Flag of if the Block's Body synced.
blockBodySynced: bool = False
#Handle sync requests.
reqHash: bytes = bytes()
while True:
if blockBodySynced:
#Sleep for a second so Meros handles the Block.
sleep(1)
#Try receiving from the Live socket, where Meros sends keep-alives.
try:
if len(rpc.meros.live.recv()) != 0:
raise Exception()
except TestError:
#Verify the height is 3.
#The genesis Block, the Block granting Merit, and the Block containing the MeritRemoval originally.
try:
if rpc.call("merit", "getHeight") != 3:
raise Exception()
except Exception:
raise TestError(
"Node added a Block containg a repeat MeritRemoval."
)
#Since the node didn't add the Block, raise SuccessError.
raise SuccessError(
"Node didn't add a Block containing a repeat MeritRemoval."
)
except Exception:
raise TestError("Meros sent a keep-alive.")
msg: bytes = rpc.meros.sync.recv()
if MessageType(msg[0]) == MessageType.BlockBodyRequest:
reqHash = msg[1:33]
if reqHash != block.header.hash:
raise TestError(
"Meros asked for a Block Body that didn't belong to the Block we just sent it."
)
#Send the BlockBody.
blockBodySynced = True
rpc.meros.blockBody(block)
else:
raise TestError("Unexpected message sent: " +
msg.hex().upper())
Liver(rpc,
vectors["blockchains"][i],
transactions,
callbacks={
1: sendMeritRemoval,
2: sendRepeatMeritRemoval
}).live()
