LayerXcom/safety-oracle

Issues

• Adversary oracle with observable equivocations

  #4 opened 5 years ago by nrryuya
  1

• Compare completeness

  #27 opened 5 years ago by nrryuya
  1

• Inspector is strictly better than clique oracle

  #34 opened 5 years ago by nrryuya
  0

• Add the definition of the "k-round" clique oracle

  #30 opened 5 years ago by minaminao
  2

• Why >3 round clique oracle? (not inspector?)

  #8 opened 5 years ago by nrryuya
  2

• Theorem: CBC Casper needs at least 3 rounds to have `n/3` fault tolerance

  #16 opened 5 years ago by nrryuya
  1

• Infinite layer for n/3 Byzantine fault tolerance is not because of computational efficiency, but fundamental

  #32 opened 5 years ago by nrryuya
  0

• 3-round Clique oracle with "observable" equivocations

  #3 opened 5 years ago by nrryuya
  1

• [PM] Goal

  #1 opened 5 years ago by minaminao
  2

• Inspector needs to find a maximum `q`

  #14 opened 5 years ago by nrryuya
  1

• Can the Inspector be improved from O(V^2J)?

  #31 opened 5 years ago by minaminao
  0

• Explain Turan oracle requires more than `q` of validators

  #24 opened 5 years ago by nrryuya
  1

• Add references, acknowledgement

  #29 opened 5 years ago by nrryuya
  0

• Explain the rationale of "higher-round" oracles

  #28 opened 5 years ago by nrryuya
  0

• Add conclusion

  #26 opened 5 years ago by nrryuya
  0

• "t = -1" ???

  #25 opened 5 years ago by nrryuya
  1

• Rename simple finality detector -> Level-1 Inspector

  #18 opened 5 years ago by nrryuya
  0

• Naming of clique oracle

  #15 opened 5 years ago by nrryuya
  1

• Clique does not exists in lobbying graph

  #22 opened 5 years ago by nrryuya
  1

• Add intro of CBC Casper, safety oracle

  #19 opened 5 years ago by nrryuya
  1

• Add "table of contents"

  #21 opened 5 years ago by nrryuya
  0

• Add reference for "the fastest algorithm"

  #20 opened 5 years ago by nrryuya
  0

• Redefine `q` with `F(σ)`

  #17 opened 5 years ago by nrryuya
  2

• Initial detection of the latest finalized block

  #6 opened 5 years ago by nrryuya
  2

• Liveness optimistic safety oracle

  #9 opened 5 years ago by nrryuya
  0

• All the finality detected by k-layer Inspector are forming a clique (in lobbying graph)?

  #11 opened 5 years ago by nrryuya
  1

• `t` should be the number of equivocations which the DAG can tolerate

  #12 opened 5 years ago by nrryuya
  1

• The original adversary oracle is equivalent to Inspector (k = 1)?

  #13 opened 5 years ago by nrryuya
  0

• Is the fault tolerance for the original adversary oracle correct?

  #5 opened 5 years ago by nrryuya
  0

• Update of the latest finalized block

  #7 opened 5 years ago by nrryuya
  2