x

cartesi · Oct 9, 2023 · 1987720 · 1987720
1 parent 622aa9b
commit 1987720
Show file tree

Hide file tree

Showing 3 changed files with 57 additions and 30 deletions.
diff --git a/onchain/rollups/contracts/consensus/quorum/IQuorumFactory.sol b/onchain/rollups/contracts/consensus/quorum/IQuorumFactory.sol
@@ -6,7 +6,6 @@ pragma solidity ^0.8.8;
 import {Quorum} from "./Quorum.sol";
 import {IHistory} from "../../history/IHistory.sol";
 
-
 /// @title Quorum factory interface
 interface IQuorumFactory {
     // Events
@@ -53,4 +52,4 @@ interface IQuorumFactory {
         IHistory _history,
         bytes32 _salt
     ) external view returns (address);
-}
+}
diff --git a/onchain/rollups/contracts/consensus/quorum/QuorumFactory.sol b/onchain/rollups/contracts/consensus/quorum/QuorumFactory.sol
@@ -30,7 +30,11 @@ contract QuorumFactory is IQuorumFactory {
         IHistory _history,
         bytes32 _salt
     ) external override returns (Quorum) {
-        Quorum quorum = new Quorum{salt: _salt}(_quorumValidators, _shares, _history);
+        Quorum quorum = new Quorum{salt: _salt}(
+            _quorumValidators,
+            _shares,
+            _history
+        );
 
         emit QuorumCreated(_quorumValidators, quorum);
 
@@ -54,4 +58,4 @@ contract QuorumFactory is IQuorumFactory {
                 )
             );
     }
-}
+}
diff --git a/onchain/rollups/test/foundry/consensus/quorum/QuorumFactory.t.sol b/onchain/rollups/test/foundry/consensus/quorum/QuorumFactory.t.sol
@@ -15,7 +15,6 @@ import {TestBase} from "../../util/TestBase.sol";
 import "forge-std/console.sol";
 
 contract QuorumFactoryTest is TestBase {
-
     QuorumFactory factory;
 
     event QuorumCreated(address[] quorumValidators, Quorum quorum);
@@ -29,11 +28,9 @@ contract QuorumFactoryTest is TestBase {
         factory = new QuorumFactory();
     }
 
-    function testNewQuorum(
-        uint256 _numValidators
-    ) public {
-        vm.assume(_numValidators>1);
-        vm.assume(_numValidators<50);
+    function testNewQuorum(uint256 _numValidators) public {
+        vm.assume(_numValidators > 1);
+        vm.assume(_numValidators < 50);
 
         address[] memory quorumValidators = generateValidators(_numValidators);
         uint256[] memory shares = generateShares(quorumValidators);
@@ -53,19 +50,29 @@ contract QuorumFactoryTest is TestBase {
         uint256 _numValidators,
         bytes32 _salt
     ) public {
-        vm.assume(_numValidators>1);
-        vm.assume(_numValidators<50);
+        vm.assume(_numValidators > 1);
+        vm.assume(_numValidators < 50);
 
         address[] memory quorumValidators = generateValidators(_numValidators);
         uint256[] memory shares = generateShares(quorumValidators);
 
         IHistory history = new History(msg.sender);
 
-        address precalculatedAddress = factory.calculateQuorumAddress(quorumValidators, shares, history, _salt);
+        address precalculatedAddress = factory.calculateQuorumAddress(
+            quorumValidators,
+            shares,
+            history,
+            _salt
+        );
 
         vm.recordLogs();
 
-        Quorum quorum = factory.newQuorum(quorumValidators, shares, history, _salt);
+        Quorum quorum = factory.newQuorum(
+            quorumValidators,
+            shares,
+            history,
+            _salt
+        );
 
         emit QuorumCreated(quorumValidators, quorum);
 
@@ -78,8 +85,8 @@ contract QuorumFactoryTest is TestBase {
         uint256 _numValidators,
         bytes32 _salt
     ) public {
-        vm.assume(_numValidators>1);
-        vm.assume(_numValidators<50);
+        vm.assume(_numValidators > 1);
+        vm.assume(_numValidators < 50);
 
         address[] memory quorumValidators = generateValidators(_numValidators);
         uint256[] memory shares = generateShares(quorumValidators);
@@ -92,44 +99,63 @@ contract QuorumFactoryTest is TestBase {
         vm.expectRevert();
         factory.newQuorum(quorumValidators, shares, history, _salt);
     }
-    
+
     // HELPER FUNCTIONS
-    function generateValidators(uint256 _numValidators) pure internal returns(address[] memory){
+    function generateValidators(
+        uint256 _numValidators
+    ) internal pure returns (address[] memory) {
         address[] memory validators = new address[](_numValidators);
         for (uint256 i = 0; i < _numValidators; i++) {
-            validators[i] = vm.addr(i+1);
+            validators[i] = vm.addr(i + 1);
         }
         return validators;
     }
 
-    function generateShares(address[] memory validators) pure internal returns(uint256[] memory){
+    function generateShares(
+        address[] memory validators
+    ) internal pure returns (uint256[] memory) {
         //generate a random number of shares for each validator
         uint256[] memory shares = new uint256[](validators.length);
         for (uint256 i; i < shares.length; ++i) {
             uint256 share = uint256(
-                keccak256(abi.encodePacked(i, validators[i]))) % 100;
+                keccak256(abi.encodePacked(i, validators[i]))
+            ) % 100;
             shares[i] = (share > 0) ? share : validators.length;
         }
         return shares;
     }
 
-    function decodeFactoryLogs(address[] memory _quorumValidators, Quorum quorum) internal {
+    function decodeFactoryLogs(
+        address[] memory _quorumValidators,
+        Quorum quorum
+    ) internal {
         Vm.Log[] memory entries = vm.getRecordedLogs();
 
-
-        for (uint i=0;i<entries.length;i++) {
+        for (uint i = 0; i < entries.length; i++) {
             Vm.Log memory entry = entries[i];
 
-            if (entry.topics[0] == QuorumCreated.selector && entry.emitter == address(factory)) {
+            if (
+                entry.topics[0] == QuorumCreated.selector &&
+                entry.emitter == address(factory)
+            ) {
                 QuorumCreatedEvent memory quorumEvent;
-                (quorumEvent.quorumValidators, quorumEvent.quorum) = abi.decode(entry.data, (address[], Quorum));
+                (quorumEvent.quorumValidators, quorumEvent.quorum) = abi.decode(
+                    entry.data,
+                    (address[], Quorum)
+                );
 
                 //Validators length in decoded data should match the data passed to the event
-                assertEq(_quorumValidators.length, quorumEvent.quorumValidators.length);
+                assertEq(
+                    _quorumValidators.length,
+                    quorumEvent.quorumValidators.length
+                );
 
                 //Compare each validator
                 for (uint j = 0; j < quorumEvent.quorumValidators.length; j++) {
-                    assertEq(_quorumValidators[j], quorumEvent.quorumValidators[j]);
+                    assertEq(
+                        _quorumValidators[j],
+                        quorumEvent.quorumValidators[j]
+                    );
                 }
 
                 //Compare quorum address
@@ -138,5 +164,3 @@ contract QuorumFactoryTest is TestBase {
         }
     }
 }
-
-