input-output-hk/decentralized-software-updates
Research on a decentralized software update mechanism for blockchain systems
TeXApache-2.0
Issues
- 0
Remove the notion of application updates
#165 opened by dnadales - 1
- 0
Write final report on prototype implementation
#83 opened by nkarag - 2
Perform in-depth related work analysis on decentralized software update solutions
#86 opened by nkarag - 3
Compare our solution to Tezos
#91 opened by dnadales - 0
Compare our solution to Cosmos
#93 opened by dnadales - 0
Compare our solution to Decred
#92 opened by dnadales - 1
Priviledge official deliverables
#119 opened by nkarag - 1
Specify property update payload can't be replayed
#126 opened by dnadales - 1
Validate the chain tick property
#128 opened by dnadales - 2
Use niv instead of iohk-nix-src.json
#104 opened by dnadales - 1
- 0
No-quorum should not be a final state
#144 opened by dnadales - 0
- 0
Limit the voting period duration
#147 opened by dnadales - 0
Support stake change actions in the tests
#149 opened by dnadales - 0
- 0
Make code tolerant to underflows and overflows
#127 opened by dnadales - 0
Optimize the ProposalsState structure to avoid multiple copies of voters key hashes
#135 opened by dnadales - 1
Ensure a safe zone for determining slot lengths
#129 opened by dnadales - 1
Run the integration test on a AWS testnet
#159 opened by dnadales - 1
- 1
- 1
- 1
Incorporate new update payload to the new era
#154 opened by dnadales - 0
- 1
Automate Shelley testnet build and deployment
#151 opened by dnadales - 2
[Partnership] Consider dStore, part of Catalys project dCloud as a Data + Metadata Decentralized Distributed Data Storage platform
#150 opened by mark-stopka - 0
Create an era without update payload from Shelley
#152 opened by dnadales - 1
A reveal can be submitted immediately after a submit when commit slots is < 2k
#103 opened by dnadales - 1
Improve datil and ideation-phase models and tests
#105 opened by dnadales - 1
Document the data-automata formalism
#106 opened by nkarag - 1
- 1
how the properties of Section 2 are tested (validated) by means of data automata
#108 opened by nkarag - 1
Paper submission
#111 opened by nkarag - 10
[QA] How will we handle inability / reluctance of Pool Operators to deploy upgraded versions
#117 opened by mark-stopka - 1
Model the hard fork combinator in the chain rules
#121 opened by dnadales - 1
Limit update payload sizes
#124 opened by dnadales - 1
- 1
- 1
Software Updates Benchmarking
#99 opened by nkarag - 0
Submit a paper to ACM CCS 2019
#102 opened by nkarag - 3
Perform experimental evaluation for the paper
#101 opened by nkarag - 1
Integrate ideation with consensus
#100 opened by nkarag - 4
Contributing to the project
#112 opened by zimmerle - 1
Create a MVP for testing SOS rules with STS
#98 opened by dnadales - 0
- 0
Use traces of length 100 instead of 200
#96 opened by nkarag - 0
Remove multiple classifications of trace length
#94 opened by nkarag - 0
Implement integration with ouroboros consensus
#84 opened by nkarag