search

Daohub-io / cap9

Capability-based security protocol for smart contracts
Apache License 2.0
22 stars 10 forks source link

Execution guard #133

Open JakeOShannessy opened 5 years ago

JakeOShannessy commented 5 years ago

Implement the execution guard as defined in the spec. This could be quite difficult, as in Solidity the start of the contract is defined by the compiler, and we don't have control over that.

JakeOShannessy commented 5 years ago

It turns out Solidity libraries include something equivalent to this execution guard. This means we could implement procedure contracts as libraries, although libraries don't allow inheritance, which is a problem as currently all our procedures inherit from BeakerContract.