Kurt Barry kmbarry1

kmbarry1 / Pot_rpow_info.md

Last active November 7, 2019 21:23

Note: refer to the following branch of k-dss for latest work https://github.com/makerdao/k-dss/tree/pot-rpow

So far I've only looked at the rpow proofs in the Pot contract.

First, I updated the pc values in Pot.rpow-loop, which passes without any issue.

Latest pc values: // 13af => 13f3 pc

kmbarry1 / spec_for_canCall.md

Last active August 13, 2019 18:44

The act looks like:

behaviour canCall-true of MkrAuthority
interface canCall(address src, address dst, bytes4 sig)

types
  May : uint256

storage
  wards[src] |-> May