(Re #41) Audit review - Githubissues

mlabs-haskell / cardano-open-oracle-protocol

COOP - Cardano open oracle protocol

Apache License 2.0

21 stars 3 forks source link

Closed Saizan closed 1 year ago

Saizan commented 1 year ago

My comments are marked with [Andrea] and a topic/severity level e.g. PERF[Andrea], WARN[Andrea], ERR[Andrea].

DONE:

[x] @Saizan audit that found logic bugs but also 'other token name' and 'other minting redeemer' vulnerability
[x] plutarch-test based Quickcheck tests for all Plutus scripts
[x] Various fixes