Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adversary oracle with observable equivocations #4

Open
nrryuya opened this issue Sep 11, 2019 · 1 comment
Open

Adversary oracle with observable equivocations #4

nrryuya opened this issue Sep 11, 2019 · 1 comment
Labels
enhancement New feature or request

Comments

@nrryuya
Copy link
Member

nrryuya commented Sep 11, 2019

Questions

  • Can we improve the current adversary oracle by considering the observable equivocations?
  • At least, can this oracle detect all of the finality in 3-round Clique oracle with "observable" equivocations #3?
    • If so, this oracle is only the oracle which is polynomial and the fault tolerance for plausible liveness is n/3
      • Is it really polynomial?
  • Comparison with Inspector
    • Hyp. Worse in computational complexity but can detect more finality (and hence better at "time to finality")
    • Does this improve the "V is much bigger than V'" case of Inspector?
@nrryuya nrryuya added the enhancement New feature or request label Sep 12, 2019
@nrryuya nrryuya mentioned this issue Sep 12, 2019
@nrryuya
Copy link
Member Author

nrryuya commented Oct 1, 2019

With the observation in #32, my hypothesis is adversary oracle ends up to look at multi-layer and Inspector would be better like #34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant