Compiler version ^0.8.0 does not satisfy the >=0.8.4 semver requirement

Replace ⏎⏎····constructor(string·memory·url_)⏎····ERC1155(url_)⏎··· with ····constructor(string·memory·url_)·ERC1155(url_)

Replace ,·/*·requestId·*/ with ·/*·requestId·*/,

Replace ⏎············inputs[validator.getChallengeInputIndex()]⏎········ with inputs[validator.getChallengeInputIndex()]

Replace ⏎············_msgSender()·==·addr,⏎············"address·in·proof·is·not·a·sender·address"⏎········ with _msgSender()·==·addr,·"address·in·proof·is·not·a·sender·address"

Delete ·

Delete ⏎

Compiler version ^0.8.0 does not satisfy the >=0.8.4 semver requirement

Compiler version ^0.8.0 does not satisfy the >=0.8.4 semver requirement

Replace ⏎········uint256·id,⏎········uint256·state⏎···· with uint256·id,·uint256·state

global import of path @openzeppelin/contracts/token/ERC1155/ERC1155.sol is not allowed. Specify names to import individually

global import of path ./lib/GenesisUtils.sol is not allowed. Specify names to import individually

global import of path ./interfaces/ICircuitValidator.sol is not allowed. Specify names to import individually

global import of path ./verifiers/ZKPVerifier.sol is not allowed. Specify names to import individually

Main key parameter in mapping idToAddress is not named

Value parameter in mapping idToAddress is not named

Main key parameter in mapping addressToId is not named

Value parameter in mapping addressToId is not named

Code contains empty blocks