search

Daohub-io / cap9

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

Beaker Specification Draft #113

Closed JakeOShannessy closed 5 years ago

JakeOShannessy commented 5 years ago

Contains more formally defined behaviour of the kernel. This is intended to address #112. Currently it is in Latex due to the large number of tables and regular use of mathematical symbols.

JakeOShannessy commented 5 years ago

One big ticket item not yet added from #112 is the registration rules, that's the next task.

Latrasis commented 5 years ago

Looks awesome so far! 💯

JakeOShannessy commented 5 years ago

I've addressed the comments you've made here. I've marked resolved those that I think are straightforward, and left open those you might still which to clarify or which have useful comments from me.

JakeOShannessy commented 5 years ago

This might be a natural point to merge if you're content with those changes.

Latrasis commented 5 years ago

This is awesome!!! Looks great! I have a couple of comments left, but other than that let's merge.