Diligence/Infura: Best Contribution to Scribble properties using Infura for a Multi-chain Deployment

Description

ConsenSys Diligence is committed to securing the Ethereum ecosystem. One of the many open source tools we offer developers to boost their security is Scribble. - Scribble is a specification language and runtime verification tool that translates high-level specifications into Solidity code.

For our ETHDenver we’ve set a bounty for you to write Scribble properties for two widely used OpenZeppelin contracts.

You can choose either the ERC777 standard or ERC1155 standard. - If OpenZeppelin contracts aren’t your thing, make a recommendation to us!

Drop your suggestions in the Discord channel. - To get started run npm install -g eth-scribble and checkout our Doscs at https://docs.scribble.codes/

- Use Infura to deploy to Ethereum L1 and L2s - 1 winner, $1k(USD) Criteria

- Write comprehensive Scribble properties for two widely used OpenZeppelin contracts

- Extra consideration based on number of valuable assertions

Acceptance criteria

Write comprehensive Scribble properties for two widely used OpenZeppelin contracts- Extra consideration based on number of valuable assertions.

Rewards

1: 1000 USD

Resources

Bounty video
Judging video
Resources Scribble: https://consensys.net/diligence/scribble/
Open Zeppelin ERC-777 Contract: https://docs.openzeppelin.com/contracts/4.x/erc777
Open Zeppelin ERC-1155 Contract: https://docs.openzeppelin.com/contracts/4.x/erc1155
https://docs.scribble.codes/: https://docs.scribble.codes/