Validator Slasher Contract (Third).json

"ValidatorSlasher": {
"abi": [
{
"stateMutability": "nonpayable",
"type": "fallback"
},
{
"inputs": [],
"name": "depositContract",
"outputs": [
{
"internalType": "contract DepositLockerInterface",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "_depositContractAddress",
"type": "address"
}
],
"name": "init",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "initialized",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "owner",
"outputs": [
{
"internalType": "address",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "bytes",
"name": "_rlpUnsignedHeaderOne",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_signatureOne",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_rlpUnsignedHeaderTwo",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_signatureTwo",
"type": "bytes"
}
],
"name": "reportMaliciousValidator",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "newOwner",
"type": "address"
}
],
"name": "transferOwnership",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {
"reportMaliciousValidator(bytes,bytes,bytes,bytes)": {
"params": {
"_rlpUnsignedHeaderOne": "the RLP encoded header of the first block",
"_rlpUnsignedHeaderTwo": "the RLP encoded header of the second block",
"_signatureOne": "the signature related to the first block",
"_signatureTwo": "the signature related to the second block"
}
}
},
"version": 1
},
"bytecode": "0x60806040526000805460ff60a01b1916905534801561001d57600080fd5b50600080546001600160a01b03191633179055610efd8061003f6000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c8063158ef93e1461006457806319ab453c146100825780638da5cb5b146100955780639eecabce146100aa578063e94ad65b146100bd578063f2fde38b146100c5575b005b61006c6100d8565b6040516100799190610b51565b60405180910390f35b610062610090366004610a50565b6100e8565b61009d61017b565b6040516100799190610b3d565b6100626100b8366004610a7e565b61018a565b61009d610348565b6100626100d3366004610a50565b610357565b600054600160a01b900460ff1681565b6000546001600160a01b0316331461011b5760405162461bcd60e51b815260040161011290610cd8565b60405180910390fd5b600054600160a01b900460ff16156101455760405162461bcd60e51b815260040161011290610c3c565b600180546001600160a01b039092166001600160a01b03199092169190911790556000805460ff60a01b1916600160a01b179055565b6000546001600160a01b031681565b61026588888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8c018190048102820181019092528a815292508a915089908190840183828082843760009201919091525050604080516020601f8b01819004810282018101909252898152925089915088908190840183828082843760009201919091525050604080516020601f8a0181900481028201810190925288815292508891508790819084018382808284376000920191909152506103af92505050565b60006102da89898080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a908190840183828082843760009201919091525061051b92505050565b60015460405163c96be4cb60e01b81529192506001600160a01b03169063c96be4cb9061030b908490600401610b3d565b600060405180830381600087803b15801561032557600080fd5b505af1158015610339573d6000803e3d6000fd5b50505050505050505050505050565b6001546001600160a01b031681565b6000546001600160a01b031633146103815760405162461bcd60e51b815260040161011290610cd8565b6001600160a01b038116156103ac57600080546001600160a01b0319166001600160a01b0383161790555b50565b8351602080860191909120835191840191909120808214156103e35760405162461bcd60e51b815260040161011290610bac565b60006103f66103f188610539565b61056d565b905060006104066103f187610539565b9050600c82511015801561041c5750600c815110155b6104385760405162461bcd60e51b815260040161011290610daa565b610442868661051b565b6001600160a01b0316610455898961051b565b6001600160a01b03161461047b5760405162461bcd60e51b815260040161011290610c80565b600060056104b084600b815181106104a357634e487b7160e01b600052603260045260246000fd5b602002602001015161068f565b6104ba9190610e3c565b9050600060056104e484600b815181106104a357634e487b7160e01b600052603260045260246000fd5b6104ee9190610e3c565b905080821461050f5760405162461bcd60e51b815260040161011290610d66565b50505050505050505050565b8151602083012060009061052f818461070a565b9150505b92915050565b6105416109ef565b600082511161054f57600080fd5b5060408051808201909152815181526020828101908201525b919050565b606061057882610817565b61058157600080fd5b600061058c83610851565b90508067ffffffffffffffff8111156105b557634e487b7160e01b600052604160045260246000fd5b6040519080825280602002602001820160405280156105ee57816020015b6105db6109ef565b8152602001906001900390816105d35790505b509150600061060084602001516108d4565b846020015161060f9190610dff565b90506000805b83811015610686576106268361095f565b915060405180604001604052808381526020018481525085828151811061065d57634e487b7160e01b600052603260045260246000fd5b60209081029190910101526106728284610dff565b92508061067e81610e96565b915050610615565b50505050919050565b8051600090158015906106a457508151602110155b6106ad57600080fd5b60006106bc83602001516108d4565b905060008184600001516106d09190610e5c565b90506000808386602001516106e59190610dff565b905080519150602083101561070157826020036101000a820491505b50949350505050565b60008060008084516041146107315760405162461bcd60e51b815260040161011290610c05565b50505060208201516040830151606084015160001a601b81101561075d5761075a601b82610e17565b90505b8060ff16601b1415801561077557508060ff16601c14155b156107925760405162461bcd60e51b815260040161011290610d24565b6000600187838686604051600081526020016040526040516107b79493929190610b5c565b6020604051602081039080840390855afa1580156107d9573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661080c5760405162461bcd60e51b815260040161011290610b7a565b935061053392505050565b805160009061082857506000610568565b6020820151805160001a9060c082101561084757600092505050610568565b5060019392505050565b805160009061086257506000610568565b60008061087284602001516108d4565b84602001516108819190610dff565b90506000846000015185602001516108999190610dff565b90505b808210156108cb576108ad8261095f565b6108b79083610dff565b9150826108c381610e96565b93505061089c565b50909392505050565b8051600090811a60808110156108ee576000915050610568565b60b8811080610909575060c08110801590610909575060f881105b15610918576001915050610568565b60c081101561094d5761092d600160b8610e73565b61093a9060ff1682610e5c565b610945906001610dff565b915050610568565b61092d600160f8610e73565b50919050565b8051600090811a6080811015610979576001915050610568565b60b881101561098d5761093a608082610e5c565b60c08110156109ba5760b78103600184019350806020036101000a84510460018201810193505050610959565b60f88110156109ce5761093a60c082610e5c565b60019290920151602083900360f7016101000a900490910160f51901919050565b604051806040016040528060008152602001600081525090565b60008083601f840112610a1a578182fd5b50813567ffffffffffffffff811115610a31578182fd5b602083019150836020828501011115610a4957600080fd5b9250929050565b600060208284031215610a61578081fd5b81356001600160a01b0381168114610a77578182fd5b9392505050565b6000806000806000806000806080898b031215610a99578384fd5b883567ffffffffffffffff80821115610ab0578586fd5b610abc8c838d01610a09565b909a50985060208b0135915080821115610ad4578586fd5b610ae08c838d01610a09565b909850965060408b0135915080821115610af8578586fd5b610b048c838d01610a09565b909650945060608b0135915080821115610b1c578384fd5b50610b298b828c01610a09565b999c989b5096995094979396929594505050565b6001600160a01b0391909116815260200190565b901515815260200190565b93845260ff9290921660208401526040830152606082015260800190565b60208082526018908201527745434453413a20696e76616c6964207369676e617475726560401b604082015260600190565b60208082526039908201527f45717569766f636174696f6e2063616e2062652070726f76656420666f7220746040820152783bb7903234b33332b932b73a10313637b1b5b99037b7363c9760391b606082015260800190565b6020808252601f908201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604082015260600190565b60208082526024908201527f54686520636f6e747261637420697320616c726561647920696e697469616c696040820152633d32b21760e11b606082015260800190565b60208082526038908201527f5468652074776f20626c6f636b732068617665206265656e207369676e656420604082015277313c903234b33332b932b73a1034b232b73a34ba34b2b99760411b606082015260800190565b6020808252602c908201527f5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c65642060408201526b313c903a34329037bbb732b960a11b606082015260800190565b60208082526022908201527f45434453413a20696e636f7272656374207369676e617475726520766572736960408201526137b760f11b606082015260800190565b60208082526024908201527f5468652074776f20626c6f636b73206861766520646966666572656e7420737460408201526332b8399760e11b606082015260800190565b60208082526035908201527f546865206e756d626572206f662070726f76696465642068656164657220656e6040820152743a3934b2b99030b932903737ba1032b737bab3b41760591b606082015260800190565b60008219821115610e1257610e12610eb1565b500190565b600060ff821660ff84168060ff03821115610e3457610e34610eb1565b019392505050565b600082610e5757634e487b7160e01b81526012600452602481fd5b500490565b600082821015610e6e57610e6e610eb1565b500390565b600060ff821660ff841680821015610e8d57610e8d610eb1565b90039392505050565b6000600019821415610eaa57610eaa610eb1565b5060010190565b634e487b7160e01b600052601160045260246000fdfea264697066735822122059a4bcd256c2085c99e649db77ec3d2387a80ce83f9bc4491602509e670b6e8764736f6c63430008000033",
"deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100625760003560e01c8063158ef93e1461006457806319ab453c146100825780638da5cb5b146100955780639eecabce146100aa578063e94ad65b146100bd578063f2fde38b146100c5575b005b61006c6100d8565b6040516100799190610b51565b60405180910390f35b610062610090366004610a50565b6100e8565b61009d61017b565b6040516100799190610b3d565b6100626100b8366004610a7e565b61018a565b61009d610348565b6100626100d3366004610a50565b610357565b600054600160a01b900460ff1681565b6000546001600160a01b0316331461011b5760405162461bcd60e51b815260040161011290610cd8565b60405180910390fd5b600054600160a01b900460ff16156101455760405162461bcd60e51b815260040161011290610c3c565b600180546001600160a01b039092166001600160a01b03199092169190911790556000805460ff60a01b1916600160a01b179055565b6000546001600160a01b031681565b61026588888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8c018190048102820181019092528a815292508a915089908190840183828082843760009201919091525050604080516020601f8b01819004810282018101909252898152925089915088908190840183828082843760009201919091525050604080516020601f8a0181900481028201810190925288815292508891508790819084018382808284376000920191909152506103af92505050565b60006102da89898080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a908190840183828082843760009201919091525061051b92505050565b60015460405163c96be4cb60e01b81529192506001600160a01b03169063c96be4cb9061030b908490600401610b3d565b600060405180830381600087803b15801561032557600080fd5b505af1158015610339573d6000803e3d6000fd5b50505050505050505050505050565b6001546001600160a01b031681565b6000546001600160a01b031633146103815760405162461bcd60e51b815260040161011290610cd8565b6001600160a01b038116156103ac57600080546001600160a01b0319166001600160a01b0383161790555b50565b8351602080860191909120835191840191909120808214156103e35760405162461bcd60e51b815260040161011290610bac565b60006103f66103f188610539565b61056d565b905060006104066103f187610539565b9050600c82511015801561041c5750600c815110155b6104385760405162461bcd60e51b815260040161011290610daa565b610442868661051b565b6001600160a01b0316610455898961051b565b6001600160a01b03161461047b5760405162461bcd60e51b815260040161011290610c80565b600060056104b084600b815181106104a357634e487b7160e01b600052603260045260246000fd5b602002602001015161068f565b6104ba9190610e3c565b9050600060056104e484600b815181106104a357634e487b7160e01b600052603260045260246000fd5b6104ee9190610e3c565b905080821461050f5760405162461bcd60e51b815260040161011290610d66565b50505050505050505050565b8151602083012060009061052f818461070a565b9150505b92915050565b6105416109ef565b600082511161054f57600080fd5b5060408051808201909152815181526020828101908201525b919050565b606061057882610817565b61058157600080fd5b600061058c83610851565b90508067ffffffffffffffff8111156105b557634e487b7160e01b600052604160045260246000fd5b6040519080825280602002602001820160405280156105ee57816020015b6105db6109ef565b8152602001906001900390816105d35790505b509150600061060084602001516108d4565b846020015161060f9190610dff565b90506000805b83811015610686576106268361095f565b915060405180604001604052808381526020018481525085828151811061065d57634e487b7160e01b600052603260045260246000fd5b60209081029190910101526106728284610dff565b92508061067e81610e96565b915050610615565b50505050919050565b8051600090158015906106a457508151602110155b6106ad57600080fd5b60006106bc83602001516108d4565b905060008184600001516106d09190610e5c565b90506000808386602001516106e59190610dff565b905080519150602083101561070157826020036101000a820491505b50949350505050565b60008060008084516041146107315760405162461bcd60e51b815260040161011290610c05565b50505060208201516040830151606084015160001a601b81101561075d5761075a601b82610e17565b90505b8060ff16601b1415801561077557508060ff16601c14155b156107925760405162461bcd60e51b815260040161011290610d24565b6000600187838686604051600081526020016040526040516107b79493929190610b5c565b6020604051602081039080840390855afa1580156107d9573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661080c5760405162461bcd60e51b815260040161011290610b7a565b935061053392505050565b805160009061082857506000610568565b6020820151805160001a9060c082101561084757600092505050610568565b5060019392505050565b805160009061086257506000610568565b60008061087284602001516108d4565b84602001516108819190610dff565b90506000846000015185602001516108999190610dff565b90505b808210156108cb576108ad8261095f565b6108b79083610dff565b9150826108c381610e96565b93505061089c565b50909392505050565b8051600090811a60808110156108ee576000915050610568565b60b8811080610909575060c08110801590610909575060f881105b15610918576001915050610568565b60c081101561094d5761092d600160b8610e73565b61093a9060ff1682610e5c565b610945906001610dff565b915050610568565b61092d600160f8610e73565b50919050565b8051600090811a6080811015610979576001915050610568565b60b881101561098d5761093a608082610e5c565b60c08110156109ba5760b78103600184019350806020036101000a84510460018201810193505050610959565b60f88110156109ce5761093a60c082610e5c565b60019290920151602083900360f7016101000a900490910160f51901919050565b604051806040016040528060008152602001600081525090565b60008083601f840112610a1a578182fd5b50813567ffffffffffffffff811115610a31578182fd5b602083019150836020828501011115610a4957600080fd5b9250929050565b600060208284031215610a61578081fd5b81356001600160a01b0381168114610a77578182fd5b9392505050565b6000806000806000806000806080898b031215610a99578384fd5b883567ffffffffffffffff80821115610ab0578586fd5b610abc8c838d01610a09565b909a50985060208b0135915080821115610ad4578586fd5b610ae08c838d01610a09565b909850965060408b0135915080821115610af8578586fd5b610b048c838d01610a09565b909650945060608b0135915080821115610b1c578384fd5b50610b298b828c01610a09565b999c989b5096995094979396929594505050565b6001600160a01b0391909116815260200190565b901515815260200190565b93845260ff9290921660208401526040830152606082015260800190565b60208082526018908201527745434453413a20696e76616c6964207369676e617475726560401b604082015260600190565b60208082526039908201527f45717569766f636174696f6e2063616e2062652070726f76656420666f7220746040820152783bb7903234b33332b932b73a10313637b1b5b99037b7363c9760391b606082015260800190565b6020808252601f908201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604082015260600190565b60208082526024908201527f54686520636f6e747261637420697320616c726561647920696e697469616c696040820152633d32b21760e11b606082015260800190565b60208082526038908201527f5468652074776f20626c6f636b732068617665206265656e207369676e656420604082015277313c903234b33332b932b73a1034b232b73a34ba34b2b99760411b606082015260800190565b6020808252602c908201527f5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c65642060408201526b313c903a34329037bbb732b960a11b606082015260800190565b60208082526022908201527f45434453413a20696e636f7272656374207369676e617475726520766572736960408201526137b760f11b606082015260800190565b60208082526024908201527f5468652074776f20626c6f636b73206861766520646966666572656e7420737460408201526332b8399760e11b606082015260800190565b60208082526035908201527f546865206e756d626572206f662070726f76696465642068656164657220656e6040820152743a3934b2b99030b932903737ba1032b737bab3b41760591b606082015260800190565b60008219821115610e1257610e12610eb1565b500190565b600060ff821660ff84168060ff03821115610e3457610e34610eb1565b019392505050565b600082610e5757634e487b7160e01b81526012600452602481fd5b500490565b600082821015610e6e57610e6e610eb1565b500390565b600060ff821660ff841680821015610e8d57610e8d610eb1565b90039392505050565b6000600019821415610eaa57610eaa610eb1565b5060010190565b634e487b7160e01b600052601160045260246000fdfea264697066735822122059a4bcd256c2085c99e649db77ec3d2387a80ce83f9bc4491602509e670b6e8764736f6c63430008000033",
"metadata": {
"compiler": {
"version": "0.8.0+commit.c7dfd78e"
},
"language": "Solidity",
"output": {
"abi": [
{
"stateMutability": "nonpayable",
"type": "fallback"
},
{
"inputs": [],
"name": "depositContract",
"outputs": [
{
"internalType": "contract DepositLockerInterface",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "_depositContractAddress",
"type": "address"
}
],
"name": "init",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "initialized",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "owner",
"outputs": [
{
"internalType": "address",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "bytes",
"name": "_rlpUnsignedHeaderOne",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_signatureOne",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_rlpUnsignedHeaderTwo",
"type": "bytes"
},
{
"internalType": "bytes",
"name": "_signatureTwo",
"type": "bytes"
}
],
"name": "reportMaliciousValidator",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "newOwner",
"type": "address"
}
],
"name": "transferOwnership",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {
"reportMaliciousValidator(bytes,bytes,bytes,bytes)": {
"params": {
"_rlpUnsignedHeaderOne": "the RLP encoded header of the first block",
"_rlpUnsignedHeaderTwo": "the RLP encoded header of the second block",
"_signatureOne": "the signature related to the first block",
"_signatureTwo": "the signature related to the second block"
}
}
},
"version": 1
},
"userdoc": {
"kind": "user",
"methods": {
"reportMaliciousValidator(bytes,bytes,bytes,bytes)": {
"notice": "Report a malicious validator for having equivocated. The reporter must provide the both blocks with their related signature. By the given blocks, the equivocation will be verified. In case a equivocation could been proven, the issuer of the blocks get removed from the set of validators, if his address is registered. Also his deposit will be slashed afterwards. In case any check before removing the malicious validator fails, the whole report procedure fails due to that."
}
},
"version": 1
}
},
"settings": {
"compilationTarget": {
"/home/tlnauction3/blockchain/contracts/contracts/auction/ValidatorSlasher.sol": "ValidatorSlasher"
},
"evmVersion": "petersburg",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": true,
"runs": 100
},
"remappings": []
},
"sources": {
"/home/tlnauction3/blockchain/contracts/contracts/auction/DepositLockerInterface.sol": {
"keccak256": "0xabca3c0b1452d80561309b7b128b0f0ffdb55bdd71367b8cf6584597cfc2de60",
"license": "MIT",
"urls": [
"bzz-raw://ce86f5731f6a4907c5902cad06885ca76cbbf6d19e38278b0f251934b5158cc1",
"dweb:/ipfs/QmUsFEY1iNtxTHb1nMpZpb5zNv1fJQfgJGYqtT2MLMTU84"
]
},
"/home/tlnauction3/blockchain/contracts/contracts/auction/ValidatorSlasher.sol": {
"keccak256": "0xa4f48cad00d78821efa0f83ab091510cb4b368087f81f9f6f66fd9cefafadb9f",
"license": "MIT",
"urls": [
"bzz-raw://380647bbf1d182d44ecd87510f00137ffddfc45295ae595930c21f91674143ac",
"dweb:/ipfs/QmbM2K2vS72hXjyv8hunM8pE2JFJb75rXmtErPvjka6PC5"
]
},
"/home/tlnauction3/blockchain/contracts/contracts/equivocation-inspector/EquivocationInspector.sol": {
"keccak256": "0xf31a86abdbb022534b669b9d281bece770b42be50d94a695c92848331338e5c4",
"license": "MIT",
"urls": [
"bzz-raw://aec6b538d9fcae67e2b72c82c22f7e4caeb6da0a4a14369fd544f51e69c38f88",
"dweb:/ipfs/QmUxyaoF2XNaqewJC6KpuVsNNat2rvJCgwgu9jWxdKEMr5"
]
},
"/home/tlnauction3/blockchain/contracts/contracts/lib/ECDSA.sol": {
"keccak256": "0x74d79020626c53e7975a265a2821efb217b9b0a80e5fb8f87ad8cd8855915a6b",
"license": "MIT",
"urls": [
"bzz-raw://bd7229efe10cc9f9dbec997f036fb880d30dbedc19cc9e71d72aa626a2907b23",
"dweb:/ipfs/QmXA4gsAC8yArvRFPJXynYhZ5xoeoKiQd1VXZEx1D6Dr5D"
]
},
"/home/tlnauction3/blockchain/contracts/contracts/lib/Ownable.sol": {
"keccak256": "0x214019ce5ff3182ea6e1dd56487eed10c0d85e36628e168e55dee32f29fd3e7d",
"license": "MIT",
"urls": [
"bzz-raw://f096971349f5744d542c6bd363a5297fa048b56d0a62591e2471f74747347a5c",
"dweb:/ipfs/QmZm54MDobg3R89V7DzYXZCPHj9XZGoTy9N7QMewEubijC"
]
},
"/home/tlnauction3/blockchain/contracts/contracts/lib/RLPReader.sol": {
"keccak256": "0x98bda1159254d38c65db44faa426879afde7092717a830ff4b119609d415c147",
"license": "Apache-2.0",
"urls": [
"bzz-raw://6c49b8d8d221f5cd8863451b2416d3e118e1ab214c707611926b7e6ac5e2efed",
"dweb:/ipfs/QmPwmS3aLYcGENyTbf1oKDMKptgZWATBvPWGr9Aax1LNC7"
]
}
},
"version": 1
},
"userdoc": {
"kind": "user",
"methods": {
"reportMaliciousValidator(bytes,bytes,bytes,bytes)": {
"notice": "Report a malicious validator for having equivocated. The reporter must provide the both blocks with their related signature. By the given blocks, the equivocation will be verified. In case a equivocation could been proven, the issuer of the blocks get removed from the set of validators, if his address is registered. Also his deposit will be slashed afterwards. In case any check before removing the malicious validator fails, the whole report procedure fails due to that."
}
},
"version": 1
}
}