The system demonstrates how the TruCol protocol implementation can be used to specify a bounty in a solidity contract, and verify its solution using Chainlink's Verifiable Random Function. The CI is able to run the tests and show that the contract balances before and after the test run are as expected. Additionally, the CI is able to show what the transaction costs were. Ideally, a Solidity formatting compliance check (like Python black) is included in the CI tests.

A detailed/normal version of the test contracts is included that allow explicit testing of relevant contract and transaction parameters, such as wallet balances, transaction times etc.

A separate minimal working example is included, yet still tested to display the main functionality, such that its correctness can be demonstrated by the CI, whilst still having small enough contracts to be included in a scientific article/whitepaper.