Initial docs #11
Initial docs #11
Conversation
uhbif19
force-pushed
the
uhbif19/initial-docs
branch
from
e4aa45a to
a5d62e7
Compare
|
|
||
| ## Not in scope for current Catalyst funding | ||
|
|
||
| * CTL and overall frontend transaction construction model |
There was a problem hiding this comment.
How does it differ from mentioned earlier "offchain Tx construction and indexing backend"? Do we cover any other means to generate off-chain code?
There was a problem hiding this comment.
indexing backend
It actually get out of scope for Milestones accepted.
Do we cover any other means to generate off-chain code?
There would be no off-chain code generation as part of this project. Only typeclasses.
docs/goals_and_soa.md
Outdated
| * Shown twice in CNS Audit | ||
| * Shown once in Frada audit (3.2.7) | ||
| * Insufficient staking control | ||
| * Shown once in CNS Audit - https://github.com/mlabs-haskell/cns-plutus-audit/issues/24 |
There was a problem hiding this comment.
The link is not accessible for everyone (including me).
There was a problem hiding this comment.
Yes. I would ask about it later, but I think they are not published code/audit yet.
docs/goals_and_soa.md
Outdated
| which could be tackled generically in our framework. | ||
|
|
||
| * Parsing transaction back to state-machine transition | ||
| is required for delegated architecures, |
There was a problem hiding this comment.
What are delegated architectures? Have them got to do with Hydra delegation topology.
There was a problem hiding this comment.
Delegated architecture is one where each client only contacts chain, in that case L2, thought Delegate servers. That is simplest and only architecture working right now for Hydra. We spawn bunch of Hydra Nodes, each containing Delegate server accepting client requests. I am saying about old Hydra Auction or probably any Hydra baked project for now.
This Delegate server should keep track of Hydra state overall and Tx pushed on it specifically. Which gives a need to parse Tx from intended DApp protocol, to keep its current state. For example: Auction has CurrentBid state, which delegate server should be aware of. This means some DApp Tx-parsing should be present. We aim to give generic utils for this.
| like optimization by sharing (used for example in `hydra-auction`) | ||
| and multiple commiters schemes (used in `hydra`). | ||
|
|
||
| @todo #3: Write more about PAB issues with emulator, packaging and Plutus |
There was a problem hiding this comment.
I can help with filling it in probably, the emulator part I mean.
There was a problem hiding this comment.
Cool. You want give sources/summary for me to write on it or write text yourself?
| Other tools are not applicable to our project. | ||
|
|
||
| 1. quickehck-dynamic | ||
| 2. SMV |
There was a problem hiding this comment.
This is very usable Haskell SMT interface. It provides both DSL for SMT constraints encoding and solving and some more complicated static analysis DSL examples on top of that.
Okay, it is named SBV, I pronunciation gets me once again :D
No description provided.