issues
search
input-output-hk
/
decentralized-software-updates
Research on a decentralized software update mechanism for blockchain systems
Apache License 2.0
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Esorics2020 submission
#123
nkarag
closed
4 years ago
0
Wrap up performance evaluation
#122
nkarag
closed
4 years ago
0
Model the hard fork combinator in the chain rules
#121
dnadales
closed
4 years ago
1
Deliverable D1.2 Validation Criteria (M36, IO RESEARCH)
#120
nkarag
opened
4 years ago
1
Priviledge official deliverables
#119
nkarag
closed
3 years ago
1
Compact hashes
#118
nkarag
closed
4 years ago
0
[QA] How will we handle inability / reluctance of Pool Operators to deploy upgraded versions
#117
mark-stopka
opened
4 years ago
10
Link the compiled PDF of the spec in the README.
#116
dnadales
closed
4 years ago
0
Add GitHub action to build PDF and upload it as artifact for easy access
#115
mark-stopka
closed
4 years ago
3
Tally microbenchmarking
#114
nkarag
closed
4 years ago
0
79 integrate consensus with trivial ledger
#113
dnadales
opened
4 years ago
0
Contributing to the project
#112
zimmerle
closed
4 years ago
4
Paper submission
#111
nkarag
closed
4 years ago
1
Preliminary performance estimation
#110
dnadales
closed
4 years ago
0
Implement approval rules.
#109
dnadales
closed
4 years ago
0
how the properties of Section 2 are tested (validated) by means of data automata
#108
nkarag
closed
4 years ago
1
how conformance tests work and why is it morally correct to test in this way
#107
nkarag
closed
4 years ago
1
Document the data-automata formalism
#106
nkarag
closed
4 years ago
1
Improve datil and ideation-phase models and tests
#105
dnadales
closed
4 years ago
1
Use niv instead of iohk-nix-src.json
#104
dnadales
closed
3 years ago
2
A reveal can be submitted immediately after a submit when commit slots is < 2k
#103
dnadales
closed
4 years ago
1
Submit a paper to ACM CCS 2019
#102
nkarag
closed
4 years ago
0
Perform experimental evaluation for the paper
#101
nkarag
closed
4 years ago
3
Integrate ideation with consensus
#100
nkarag
closed
4 years ago
1
Software Updates Benchmarking
#99
nkarag
closed
4 years ago
1
Create a MVP for testing SOS rules with STS
#98
dnadales
closed
4 years ago
1
Trace related stuff
#97
nkarag
closed
4 years ago
0
Use traces of length 100 instead of 200
#96
nkarag
closed
4 years ago
0
Explicit duration of voting period and not based on a band
#95
nkarag
closed
4 years ago
0
Remove multiple classifications of trace length
#94
nkarag
closed
4 years ago
0
Compare our solution to Cosmos
#93
dnadales
opened
4 years ago
0
Compare our solution to Decred
#92
dnadales
opened
4 years ago
0
Compare our solution to Tezos
#91
dnadales
opened
4 years ago
3
Create the formal spec document and `nix` setup to build it in CI.
#90
dnadales
closed
4 years ago
0
Make coverage tests pass
#89
nkarag
closed
4 years ago
2
Abstract signing and verification algorithms
#88
dnadales
closed
4 years ago
0
Editorial changes on fc20 based on reviews
#87
nkarag
closed
4 years ago
0
Perform in-depth related work analysis on decentralized software update solutions
#86
nkarag
opened
5 years ago
2
Introduce measures to mitigate the impact of code changes
#85
dnadales
closed
4 years ago
0
Implement integration with ouroboros consensus
#84
nkarag
closed
5 years ago
0
Write final report on prototype implementation
#83
nkarag
opened
5 years ago
0
Write final report on validation criteria testing results.
#82
nkarag
closed
3 years ago
2
Coverage of tests
#81
nkarag
closed
5 years ago
0
Abstract signning and crypto
#80
dnadales
closed
4 years ago
2
Prototype integration with consensus
#79
dnadales
closed
3 years ago
0
Write report on architecture
#78
dnadales
opened
5 years ago
0
Write down validation criteria for the prototype
#77
dnadales
closed
3 years ago
2
fix status reports from hydra
#76
manveru
closed
5 years ago
0
Integrate the prototype with network and consensus layers
#75
dnadales
closed
3 years ago
2
Implement third iteration of the update mechanism
#74
dnadales
opened
5 years ago
0
Previous
Next