glow
glow copied to clipboard
Glow-Lang
Determine if/where collaterals are needed
In GitLab by @fahree on Nov 5, 2020, 01:20
For this ticket we need to:
- [ ] Write a CTL formula for whether collateral is required at the end of a transaction: collateral is required if the current active participant has a move in one of the possible futures where everyone cooperates.
- [ ] Build a sub-graph of all future moves when everyone is cooperating
- [ ] Translate the CTL formula into a graph algorithm on the above.
In GitLab by @ApolloUnicorn on Mar 17, 2021, 23:49
changed the description
In GitLab by @ApolloUnicorn on Mar 17, 2021, 23:49
changed the description
In GitLab by @ApolloUnicorn on Mar 17, 2021, 23:51
~~Break this into 2 issues:~~
- ~~Which checkpoints have future transactions?~~
- ~~Add collaterals based on that.~~
In GitLab by @ApolloUnicorn on Mar 26, 2021, 23:37
changed title from {-Add Collaterals Automatically-} to {+Determine if/where collaterals are needed+}
In GitLab by @ApolloUnicorn on Mar 26, 2021, 23:37
changed the description
In GitLab by @fahree on Mar 26, 2021, 23:45
marked this issue as related to #175
In GitLab by @ApolloUnicorn on Mar 26, 2021, 23:47
changed the description
In GitLab by @fahree on Mar 26, 2021, 23:47
marked this issue as related to #176
In GitLab by @ApolloUnicorn on Mar 26, 2021, 23:48
changed the description