Kevin Jue

Securely run Certora CI tests from PRs originating from forks of celo-monorepo

1

An outside contributor made a change to the GoldToken smart contract with this [PR](https://github.com/celo-org/celo-monorepo/pull/7329). However, @lucasege figured out that the Certora tests were not able to run because it's license...

WIP

Odd behavior with hint

3

I am using a hint to help perform arithmetic operations within Goldilocks. When the proof is being generated, the number of times the hint function is called is much higher...

### Expected Behavior The announce and val_enode_share unit tests should be more easily comprehensible. ### Current Behavior The announce and val_enode_share unit tests are hard to understand.