issues
search
makerdao
/
mkr-mcd-spec
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28
stars
9
forks
source link
Reverification Effort for KDSS proofs
#266
Open
0xverif
opened
2 years ago
0xverif
commented
2 years ago
[ ] #267
[ ] Re-run kevm profiling proofs removing unnecessary pieces of state (active accounts cell)
0xverif
commented
2 years ago
~1 Quarter