// Place global declarations here. //this model checks probability by contructing secret chain broadcast chan Transaction; broadcast chan request; broadcast chan send; //Question: shall it be broadcast?? const int N = 4;//max number of pools const int PEERS = 4; // maximum number of peers const int MAX_WALLET = PEERS+1; broadcast chan blockSolution; broadcast chan secretSolution; const int HASHSIZE = 30000; //hashes are stored as integers const int MAX_TRANSACTION = 30000;//maximum number of transactions const int MAX_BLOCK = 30000; //maximum number of blocks const int MAX_ORPHAN_BLOCK = 1; //maximum number of blocks bool flag =false; //const int MAX_INPUT_TRANSACTION = 3; //maximum number of input transactions //const int MAX_OUTPUT_TRANSACTION = 3; //maximum number of output transactions //const int MAX_BTC_AMOUNT = 12; //maximum amount (BTC) const int MAX_POOL_SIZE = PEERS+1; //maximum size of the Pool const int UNCONFIRMED = 0; const int CONFIRMED = 1; const int INVALID = 2; typedef int[1,N] id_t;//Pool ID typedef int[-1,HASHSIZE] BLOCKHASH; //first block will refer to -1 typedef int[-1,MAX_TRANSACTION] TXNUMBER;//first transaction will refer to -1 //typedef int[0,MAX_INPUT_TRANSACTION] COUNT_TX_IN;//number of input transactions //typedef int[0,MAX_OUTPUT_TRANSACTION] COUNT_TX_OUT;//number of output transactions //typedef int[0,MAX_BTC_AMOUNT] AMOUNT;//Amount will be used in output transaction typedef int[0,PEERS+N] PEER;// there will be senders who do not take part in mining. These will just send transactions. //typedef int[0,INVALID] STATUS; //Transaction status : UNCONFIRMED or CONFIRMED int [0, MAX_POOL_SIZE] tranIndex = 0; int [0, MAX_POOL_SIZE] tranIndex2 = 0; //output transaction structure typedef struct{ PEER Address; //AMOUNT value; }TXOUT; int confirmation = 0; int confirmation_counter = 0; //input transaction structure typedef struct{ TXNUMBER id; }TXIN; //Assumption: There is one input and two output transaction typedef struct { TXNUMBER Id; //COUNT_TX_OUT ouputCount; TXIN TxInput; TXOUT TxOutput; //COUNT_TX_IN inputCount; //COUNT_TX_OUT ouputCount; //STATUS status; }Tx; //transaction //Assumption only one transaction will be included in one block typedef struct { BLOCKHASH num; BLOCKHASH prevBlocknum; Tx tx; }Block; //block details //Blockchain structure with maximum of 20 blocks typedef struct{ Block chain[MAX_BLOCK]; }BlockChain; //wallet will be used by peers to maintain unspent output from every transaction typedef struct{ TXNUMBER Id; //AMOUNT value; }Wallet; //Every transaction will have a unique number. Therefore stored here as global. TXNUMBER Tx_num = PEERS+1; //Every block will have a unique number interms of hash. BLOCKHASH Block_num = 2; Tx TxPool[MAX_POOL_SIZE]; //transaction pool. Peers will create transaction and place in this pool. Miners will use transaction for mining. Tx MPeerPool; //this is for MPeer and MPool //meta Tx TxGlobal; meta Block Chain; meta BLOCKHASH Blocknum; //meta Block orphanBlock; // Place template instantiations here. // List one or more processes to be composed into a system. /* Pool1 = Pool(1, 5433); Pool2 = Pool(2, 3018); Pool3 = Pool(3, 2469); Pool4 = MPool(4, 1041,6); Pool1 = Pool(1, 3622);//15% Pool2 = Pool(2, 3018);//18% Pool3 = Pool(3, 2469);//22% Pool4 = MPool(4, 1207,6);//45% Pool1 = Pool(1, 2716);//20% Pool2 = Pool(2, 1940);//28% Pool3 = Pool(3, 2469);//22% Pool4 = MPool(4, 1811,6);//30% Pool1 = Pool(1, 1811);//30% Pool2 = Pool(2, 1940);//28% Pool3 = Pool(3, 2469);//22% Pool4 = MPool(4, 2716,6);//20% Pool1 = Pool(1, 1207);//45% Pool2 = Pool(2, 3018);//18% Pool3 = Pool(3, 2469);//22% Pool4 = MPool(4, 3622,6);//15% Pool1 = Pool(1, 1086);//50% Pool2 = Pool(2, 1811);//30% Pool3 = Pool(3, 3622);//15% Pool4 = MPool(4, 10867,3);//5% */ Pool1 = Pool(1, 1811);//30% Pool2 = Pool(2, 1940);//28% Pool3 = Pool(3, 2469);//22% Pool4 = MPool(4, 2716,1);//20% Peer1 = Peer(1, 0); Peer2 = Peer(2, 0); Peer3 = Peer(3, 0); MPeer1 = MPeer(4); MPeer2 = MPeer(4); MPeer3 = MPeer(5); //Peer5 = Peer(4, 0); //Peer6 = Peer(5, 0); //Peer7 = Peer(6, 0); system Pool4, Pool1, Pool2,Pool3, Peer1, Peer2,Peer3, MPeer1;//Peer5, Peer6, Peer7, MPool1; Pr[#<=60000](<> Pool4.raceSuccess == true)