// Place global declarations here.
//this model checks probability by contructing secret chain
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_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,PEERS+N] PEER;// there will be senders who do not take part in mining. These will just send transactions.
int [0, MAX_POOL_SIZE] tranIndex = 0;
int [0, MAX_POOL_SIZE] tranIndex2 = 0;
//output transaction structure
typedef struct{
PEER Address;
}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;
TXIN TxInput;
TXOUT TxOutput;
}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;
}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.
Tx MPeerPool; //this is for MPeer and MPool
meta Block Chain;
meta BLOCKHASH Blocknum;
Pool
const id_t id, const int &rateX, const int &rateY
// Place local declarations here.
clock x;
//This variable stores the transaction that the pool is trying to include in a block
Tx localTx;
//stores only the last block of the chain.
int chain1[4];
/**
* This function intialises the two chains and the transaction pool
*/
void initial()
{
int i;
chain1[0] = 1;
chain1[1] = 0;
chain1[3] = 1;
for(i = 0; i < MAX_POOL_SIZE; i++)
{
if(TxPool[i].Id == 0)
TxPool[i].Id = -1;
}
}
/**
* This function checks for transaction in the transaction pool.
* @param none.
* @return boolean. It will return true if there is transaction in pool.
*/
bool checkTxPool()
{
bool flag = false;
int i;
if((TxPool[tranIndex2].Id != -1 ))
{
flag = true;
}
return flag;
}
/**
* This function gets the detail of the transaction from the transaction pool and
* places in local variable localTx.
* @param none.
* @return none.
*/
void getTransaction()
{
localTx.Id = TxPool[tranIndex2].Id;
localTx.TxInput.id = TxPool[tranIndex2].TxInput.id;
localTx.TxOutput.Address = TxPool[tranIndex2].TxOutput.Address;
}
/**
* This function resets local variable localTx.
* @param none.
* @return none.
*/
void resetLocalTx()
{
localTx.Id = -1;
localTx.TxInput.id = -1;
localTx.TxOutput.Address = 0;
}
/**
* This function removes a transaction from the transaction pool.
* @param none.
* @return none.
*/
void removeTxPool()
{
TxPool[tranIndex2].Id = -1;
TxPool[tranIndex2].TxInput.id = -1;
TxPool[tranIndex2].TxOutput.Address = 0;
}
/**
* This function is executed when a pool broadcasts a block.
* It updates the global variable with block information,
* increments block number, removes transaction from pool
* and resets local varable localTx .
* @param none.
* @return none.
*/
void updateBlockChain()
{
//update on global variable
Chain.num = Block_num;
Chain.tx.Id = localTx.Id;
Chain.tx.TxInput.id = localTx.TxInput.id;
Chain.tx.TxOutput.Address = localTx.TxOutput.Address;
Chain.prevBlocknum = chain1[0];
chain1[0] = Chain.num;
chain1[1] = Chain.prevBlocknum;
chain1[2] = id;
if (MPeerPool.Id != 0 )
flag = true;
//update global variable block hash
Block_num = (Block_num + 1)% HASHSIZE;
//remove transaction from pool
removeTxPool();
//reset localTx
resetLocalTx();
tranIndex2 = (tranIndex2 + 1)%MAX_POOL_SIZE;
}
/**
* This function is executed when a pool recieves a block.
* It updates the block chain.
* @param none.
* @return none.
*/
void addBlock()
{
chain1[0] = Chain.num;
chain1[1] = Chain.prevBlocknum;
}
MineY
Initial
MineX
Peer
const PEER id, const int &confirmation_no
clock x1;
//wallet stores transactions that has not been spent
Wallet wallet[MAX_WALLET];
//two indexes to keep track of wallet. One for inserting and second for removing transaction.
int [0,MAX_WALLET]walletIndex = 1;
int [0,MAX_WALLET]walletIndex2 = 0;
/**
* This function intialises the wallet.
*/
void initial()
{
int i;
wallet[0].Id = id;
for(i = 1; i < MAX_WALLET;i++)
wallet[i].Id = -1;
for(i = 0; i < MAX_POOL_SIZE; i++)
{
if(TxPool[i].Id == 0)
TxPool[i].Id = -1;
}
}
/**
* This function creates a transaction and places in the transaction pool.
* @param Add of type Peer.
* @return none.
*/
void create_Transaction(PEER Add)
{
int i, index = -1, j;
TxPool[tranIndex].Id = Tx_num;
TxPool[tranIndex].TxInput.id = wallet[walletIndex2].Id;
TxPool[tranIndex].TxOutput.Address = Add;
wallet[walletIndex2].Id = -1;
walletIndex2 = (walletIndex2 + 1)%MAX_WALLET;
Tx_num = (Tx_num + 1)% MAX_TRANSACTION;
tranIndex = (tranIndex + 1) %MAX_POOL_SIZE;
}
/**
* This function checks for transaction in the wallet.
* This transaction will be used to create another transaction
* and this transaction will serve as an input.
* @param none.
* @return none.
*/
bool checkWallet()
{
bool flag = false;
if(wallet[walletIndex2].Id !=-1)
{
flag = true;
}
return flag;
}
/**
* This function updates wallet with transaction that is for this peer.
* @param none.
* @return none.
*/
void updateWallet()
{
if ( Chain.tx.TxOutput.Address == id)
{
wallet[walletIndex].Id = Chain.tx.Id;
walletIndex = (walletIndex + 1) % MAX_WALLET;
}
}
Initial
Wait
MPeer
const PEER id
clock x1;
Wallet wallet[1];
int counter = 0;
/**
* This function intialises the wallet.
*/
void initial()
{
int i;
wallet[0].Id = id;
}
/**
* This function creates a transaction and places in the transaction pool.
* @param Add of type Peer.
* @return none.
*/
void create_Transaction(PEER Add)
{
int i, index = -1, j;
TxPool[tranIndex].Id = Tx_num;
TxPool[tranIndex].TxInput.id = wallet[0].Id;
TxPool[tranIndex].TxOutput.Address = Add;
Tx_num = (Tx_num + 1)% MAX_TRANSACTION;
tranIndex = (tranIndex + 1) %MAX_POOL_SIZE;
}
/**
* This function creates a malicious transaction and places in the malicious peer variable.
* @param none.
* @return none.
*/
void createDuplicateTransaction()
{
MPeerPool.Id = Tx_num;
MPeerPool.TxInput.id = wallet[0].Id;
MPeerPool.TxOutput.Address = id;
Tx_num = (Tx_num + 1)% MAX_TRANSACTION;
}
Initial
Wait
MPool
const id_t ID, const int &rateX, const int &confirmation_no, const int &rateY
// Place local declarations here.
clock x;
//This variable stores the transaction that the pool is trying to include in a block
Tx localTx;
//stores only the last block of the chain.
int chain1[5];
int chain2[5];
bool raceFlag = false, raceSuccess = false, raceflag = false;
//keeps track of the length of two chains
int blockDifference = 0;
int blockDifference1 = 0;
/**
* This function intialises the two chains and the transaction pool
* @param none.
* @return none.
*/
void initial()
{
int i;
confirmation = confirmation_no;
chain1[0] = 1;
chain1[1] = 0;
chain1[3] = 1;
chain2[0] = 1;
chain2[1] = 0;
chain2[3] = 1;
for(i = 0; i < MAX_POOL_SIZE; i++)
{
if(TxPool[i].Id == 0)
TxPool[i].Id = -1;
}
}
//
void resetMPeerPool()
{
MPeerPool.Id = 0;
MPeerPool.TxOutput.Address = 0;
}
/**
* This function checks for transaction in the transaction pool.
* @param none.
* @return boolean. It will return true if there is transaction in pool.
*/
bool checkTxPool()
{
bool flag = false;
int i;
if((TxPool[tranIndex2].Id != -1 ))
{
flag = true;
}
return flag;
}
/**
* This function gets the detail of the transaction from the transaction pool and
* places in local variable localTx.
* @param none.
* @return none.
*/
void getTransaction()
{
localTx.Id = TxPool[tranIndex2].Id;
localTx.TxInput.id = TxPool[tranIndex2].TxInput.id;
localTx.TxOutput.Address = TxPool[tranIndex2].TxOutput.Address;
}
/**
* This function resets local variable localTx.
* @param none.
* @return none.
*/
void resetLocalTx()
{
localTx.Id = -1;
localTx.TxInput.id = -1;
localTx.TxOutput.Address = 0;
}
/**
* This function removes a transaction from the transaction pool.
* @param none.
* @return none.
*/
void removeTxPool()
{
TxPool[tranIndex2].Id = -1;
TxPool[tranIndex2].TxInput.id = -1;
TxPool[tranIndex2].TxOutput.Address = 0;
}
/**
* This function is executed when a pool broadcasts a block.
* It updates the global variable with block information,
* increments block number, removes transaction from pool
* and resets local varable localTx .
* @param none.
* @return none.
*/
void updateBlockChain()
{
if(raceFlag == false)
{
}
else
{
chain2[1] = chain2[0];
Chain.num = Block_num;
Chain.prevBlocknum = chain2[1];
Chain.tx.Id = localTx.Id;
Chain.tx.TxInput.id = localTx.TxInput.id;
Chain.tx.TxOutput.Address = localTx.TxOutput.Address;
chain2[0] = Chain.num;
chain2[2] = ID;
chain2[4] = localTx.TxInput.id;
blockDifference++;
if (blockDifference >= blockDifference1 && blockDifference1 > confirmation_no)
{
raceSuccess = true;
}
raceflag = true;
}
//update global variable block hash
Block_num = (Block_num + 1)%HASHSIZE;
//remove transaction from pool
if(MPeerPool.Id == 0)
{
removeTxPool();
tranIndex2 = (tranIndex2 + 1)% MAX_POOL_SIZE;
}
else
resetMPeerPool();
resetLocalTx();
}
/**
* This function is executed when a pool recieves a block.
* It updates the block chain and the block difference variable.
* @param none.
* @return none.
*/
void addBlock()
{
chain1[0] = Chain.num;
chain1[1] = Chain.prevBlocknum;
blockDifference1++;
chain1[4] = Chain.tx.TxInput.id;
}
MineY
MineX
Initial
// Place template instantiations here.
// List one or more processes to be composed into a system.
/*
Pool1 = Pool(1, 2716);//20%
Pool2 = Pool(2, 1940);//28%
Pool3 = Pool(3, 2469);//22%
Pool4 = MPool(4, 1811,4);//30%
Pool1 = Pool(1, 1811);//30%
Pool2 = Pool(2, 1940);//28%
Pool3 = Pool(3, 2469);//22%
Pool4 = MPool(4, 2716,3);//20%
Pool1 = Pool(1, 1207);//45%
Pool2 = Pool(2, 3018);//18%
Pool3 = Pool(3, 2469);//22%
Pool4 = MPool(4, 3622,3);//15%
Pool1 = Pool(1, 1086);//50%
Pool2 = Pool(2, 1811);//30%
Pool3 = Pool(3, 3622);//15%
Pool4 = MPool(4, 10867,2);//5%
Pool1 = Pool(1, 5433,1);
Pool2 = Pool(2, 3018,1);
Pool3 = Pool(3, 2469,1);
Pool4 = MPool(4, 1041,1,1);
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 1811, 2716);//30% 20
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 5433,2,1358 );//10% 40
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 1811, 2716);//30% 20
Pool3 = Pool(3, 10867,1207);//5% 45
Pool4 = MPool(4, 3622,5,1552 );//15% 35
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 3622, 1552); //15 35
Pool3 = Pool(3, 10867,1207);//5% 45
Pool4 = MPool(4, 1811,5,2716 );///30% 20
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 3622, 1552); //15 35
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 2173,6,2173 );///25% 25
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 3622, 1552); //15 35
Pool3 = Pool(3, 3622,1552);//15% 35
Pool4 = MPool(4, 2716,4,1811 );///20% 30
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 3622, 1552); //15 35
Pool3 = Pool(3, 2716,1811);//20% 30
Pool4 = MPool(4, 3622,2,1552 );///15% 35
Pool1 = Pool(1, 1552, 3622);//35% 15%
Pool2 = Pool(2, 10867, 1207); //5 45
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1207,2,10867 );///45% 5
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 1811, 2716);//30% 20
Pool3 = Pool(3, 3622,1552);//15% 35
Pool4 = MPool(4, 10867,1,1207 );//5% 45
Pool1 = Pool(1, 1552, 3622);//35% 15%
Pool2 = Pool(2, 10867, 1207); //5 45
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1086,2,54339 );///50% 1
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 10867, 1207); //5 45
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1552,1,3622 );///35% 15
Pool1 = Pool(1, 1086, 54339);//50% 1%
Pool2 = Pool(2, 3622, 1552); //15 35
Pool3 = Pool(3, 3622,1552);//15% 35
Pool4 = MPool(4, 2716,1,1811 );///20% 30
Pool1 = Pool(1, 1811, 2716);//30% 20
Pool2 = Pool(2, 3622,1552);//15% 35
Pool3 = Pool(3, 2716,1811);//20% 30
Pool4 = MPool(4, 1552,1,3622 );///35% 15
Pool1 = Pool(1, 1552, 3622);//35% 15
Pool2 = Pool(2, 3622,1552);//15% 35
Pool3 = Pool(3, 2716,1811);//20% 30
Pool4 = MPool(4, 1811,4,2716 );///30% 20
Pool1 = Pool(1, 1552, 3622);//35% 15
Pool2 = Pool(2, 3622,1552);//15% 35
Pool3 = Pool(3, 1811,2716);//30% 20
Pool4 = MPool(4, 2716,4,1811 );///20% 30
Pool1 = Pool(1, 1552, 3622);//35% 15
Pool2 = Pool(2, 1552,3622);//35% 15
Pool3 = Pool(3, 2173,2173);//25% 25
Pool4 = MPool(4, 10867,2,1207 );///5% 45
Pool1 = Pool(1, 1552, 3622);//35% 15%
Pool2 = Pool(2, 10867, 1207); //5 45
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1207,2,10867 );///45% 5
Pool1 = Pool(1, 1552, 3622);//35% 15%
Pool2 = Pool(2, 5433, 1358); //10 40
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1358,4,5433 );///40% 10
Pool1 = Pool(1, 1552, 3622);//35% 15%
Pool2 = Pool(2, 10867, 1207); //5 45
Pool3 = Pool(3, 5433,1358);//10% 40
Pool4 = MPool(4, 1207,2,10867 );///45% 5
Pool1 = Pool(1, 1552, 3622);//35% 15
Pool2 = Pool(2, 1552,3622);//35% 15
Pool3 = Pool(3, 2173,2173);//25% 25
Pool4 = MPool(4, 10867,3,1207 );///5% 45
Pool1 = Pool(1, 1811, 2716);//30% 20
Pool2 = Pool(2, 1552,3622);//35% 15
Pool3 = Pool(3, 2716,1811);//20% 30
Pool4 = MPool(4, 3662,6,1552 );///15% 35
Pool1 = Pool(1, 1552, 3622);//35% 15
Pool2 = Pool(2, 5433,1358);//10% 40
Pool3 = Pool(3, 1811,2716);//30% 20
Pool4 = MPool(4, 2173,6,2173 );///25% 25
5& 50 &35 & 20 & 35 &20 & 25 & 10\\
10&45&35&20& 30&25& 25&10\\%0
15&40&30&25 &30&25 &25&10\\%done 15 30 15 40
20 & 35&30& 25& 25&20& 25& 20\\%done 20 30 10 40
25&30&30&25& 25&25& 20&20\\%done 25 25 10 40
30&25&30&25 &20&25 &20&25\\%30 40 15 15
35&20&25&30 &20&25 &20&25\\%35 40 15 10
40&15&20&30 &20&30 &20&25\\%done 40 10 10 40
45&10&20&30 &15&40& 20&20\\%done 45 10 10 35
50&5&15&40 &15&40 &20&15\\%done 50 10 5 35
*/
Pool1 = Pool(1, 2716, 1811);//40% 15%
Pool2 = Pool(2, 3622, 679); //20 45
Pool3 = Pool(3, 3622,679);//30% 40
Pool4 = MPool(4, 1086,1,5433 );///10% 1
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[#<=10000](<> Pool4.raceSuccess == true)