BEEFY & MMR zombienet tests

zombienet_tests/README.md

@@ -25,7 +25,7 @@ To run any test locally use the native provider (`zombienet test -p native ...`)
 To build them use:
 * adder-collator -> `cargo build --profile testnet -p test-parachain-adder-collator`
 * undying-collator -> `cargo build --profile testnet -p test-parachain-undying-collator`
-* malus -> cargo build --profile testnet -p polkadot-test-malus
+* malus -> `cargo build --profile testnet -p polkadot-test-malus`
 * polkadot (in polkadot repo) and polkadot-collator (in cumulus repo) -> `cargo build --profile testnet`
 
 One solution is to use the `.set_env` file (from this directory) and fill the `CUSTOM_PATHS` before *source* it to patch the PATH of your system to find the binaries you just built.

zombienet_tests/functional/0003-beefy-and-mmr.toml

@@ -8,5 +8,9 @@ command = "polkadot"
 
 [[relaychain.node_groups]]
 name = "validator"
-count = 4
+count = 3
+args = ["--log=beefy=debug", "--beefy", "--enable-offchain-indexing=true"]
+
+[[relaychain.nodes]]
+name = "validator-unstable"
 args = ["--log=beefy=debug", "--beefy", "--enable-offchain-indexing=true"]

zombienet_tests/functional/0003-beefy-and-mmr.zndsl

@@ -6,22 +6,22 @@ Creds: config
 validator-0: reports node_roles is 4
 validator-1: reports node_roles is 4
 validator-2: reports node_roles is 4
-validator-3: reports node_roles is 4
+validator-unstable: reports node_roles is 4
 
 # BEEFY sanity checks.
 validator-0: reports substrate_beefy_validator_set_id is 0
 validator-1: reports substrate_beefy_validator_set_id is 0
 validator-2: reports substrate_beefy_validator_set_id is 0
-validator-3: reports substrate_beefy_validator_set_id is 0
+validator-unstable: reports substrate_beefy_validator_set_id is 0
 
 # Verify voting happens and 1st mandatory block is finalized within 1st session.
 validator-0: reports substrate_beefy_best_block is at least 1 within 60 seconds
 validator-1: reports substrate_beefy_best_block is at least 1 within 60 seconds
 validator-2: reports substrate_beefy_best_block is at least 1 within 60 seconds
-validator-3: reports substrate_beefy_best_block is at least 1 within 60 seconds
+validator-unstable: reports substrate_beefy_best_block is at least 1 within 60 seconds
 
-# Pause validator-3 and test chain is making progress without it.
-validator-3: pause
+# Pause validator-unstable and test chain is making progress without it.
+validator-unstable: pause
 
 # Verify validator sets get changed on new sessions.
 validator-0: reports substrate_beefy_validator_set_id is at least 1 within 70 seconds
@@ -38,10 +38,16 @@ validator-0: reports substrate_beefy_best_block is at least 21 within 130 second
 validator-1: reports substrate_beefy_best_block is at least 21 within 130 seconds
 validator-2: reports substrate_beefy_best_block is at least 21 within 130 seconds
 
-# TODO (issue #11972): Custom JS to test BEEFY RPCs
-# TODO (issue #11972): Custom JS to test MMR RPCs
+# Custom JS to test BEEFY RPCs.
+validator-0: js-script ./0003-beefy-finalized-heads.js with "validator-0,validator-1,validator-2" return is 1 within 5 seconds
 
-# Resume validator-3 and verify it imports all BEEFY justification and catches up.
-validator-3: resume
-validator-3: reports substrate_beefy_validator_set_id is at least 2 within 30 seconds
-validator-3: reports substrate_beefy_best_block is at least 21 within 30 seconds
+# Custom JS to test MMR RPCs.
+validator-0: js-script ./0003-mmr-leaves.js with "21" return is 1 within 5 seconds
+validator-1: js-script ./0003-mmr-leaves.js with "21" return is 1 within 5 seconds
+validator-2: js-script ./0003-mmr-leaves.js with "21" return is 1 within 5 seconds
+validator: js-script ./0003-mmr-generate-and-verify-proof.js with "validator-0,validator-1,validator-2" return is 1 within 5 seconds
+
+# Resume validator-unstable and verify it imports all BEEFY justification and catches up.
+validator-unstable: resume
+validator-unstable: reports substrate_beefy_validator_set_id is at least 2 within 30 seconds
+validator-unstable: reports substrate_beefy_best_block is at least 21 within 30 seconds

zombienet_tests/functional/0003-beefy-finalized-heads.js

@@ -0,0 +1,22 @@
+const common = require('./0003-common.js');
+
+async function run(_, networkInfo, nodeNames) {
+  const apis = await common.getApis(networkInfo, nodeNames);
+
+  const finalizedHeads = await Promise.all(
+    Object.entries(apis).map(async ([nodeName, api]) => {
+      return { nodeName, finalizedHead: await api.rpc.beefy.getFinalizedHead() };
+    })
+  );
+
+  const finalizedHeadsHeight = await Promise.all(
+    finalizedHeads.map(async ({ nodeName, finalizedHead }) => {
+      return apis[nodeName].rpc.chain.getHeader(finalizedHead).then((header) => header.number);
+    })
+  );
+
+  // verify that height(finalized_head) is at least as high as the substrate_beefy_best_block test already verified
+  return finalizedHeadsHeight.every((height) => height >= 21)
+}
+
+module.exports = { run };

zombienet_tests/functional/0003-common.js

@@ -0,0 +1,16 @@
+async function getApis(networkInfo, nodeNames) {
+  const connectionPromises = nodeNames.map(async (nodeName) => {
+    const { wsUri, userDefinedTypes } = networkInfo.nodesByName[nodeName];
+    const connection = await zombie.connect(wsUri, userDefinedTypes);
+    return { nodeName, connection };
+  });
+
+  const connections = await Promise.all(connectionPromises);
+
+  return connections.reduce((map, { nodeName, connection }) => {
+    map[nodeName] = connection;
+    return map;
+  }, {});
+}
+
+module.exports = { getApis };

zombienet_tests/functional/0003-mmr-generate-and-verify-proof.js

@@ -0,0 +1,26 @@
+const common = require('./0003-common.js');
+
+async function run(nodeName, networkInfo, nodeNames) {
+  const apis = await common.getApis(networkInfo, nodeNames);
+
+  const proof = await apis[nodeName].rpc.mmr.generateProof([1, 9, 20]);
+
+  const root = await apis[nodeName].rpc.mmr.root()
+
+  const proofVerifications = await Promise.all(
+    Object.values(apis).map(async (api) => {
+      return api.rpc.mmr.verifyProof(proof);
+    })
+  );
+
+  const proofVerificationsStateless = await Promise.all(
+    Object.values(apis).map(async (api) => {
+      return api.rpc.mmr.verifyProofStateless(root, proof);
+    })
+  );
+
+  // check that all nodes accepted the proof
+  return proofVerifications.every((proofVerification) => proofVerification) && proofVerificationsStateless.every((proofVerification) => proofVerification)
+}
+
+module.exports = { run };

zombienet_tests/functional/0003-mmr-leaves.js

@@ -0,0 +1,9 @@
+async function run(nodeName, networkInfo, args) {
+  const { wsUri, userDefinedTypes } = networkInfo.nodesByName[nodeName];
+  const api = await zombie.connect(wsUri, userDefinedTypes);
+
+  const mmrLeaves = await api.query.mmr.numberOfLeaves();
+  return mmrLeaves.toNumber() >= args[0]
+}
+
+module.exports = { run };