Skip to content

Issues: LayerXcom/cbc-casper-proof

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.

Sign up for GitHub

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

27 Open 57 Closed
27 Open 57 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Isabelle] Post Strict_Order.thy library to Isabelle mailing list enhancement New feature or request
#126 opened Aug 30, 2019 by nrryuya
[Isabelle] Use section and subsection
#122 opened Aug 3, 2019 by nrryuya
[Isabelle] Use inductive for Σ and M
#119 opened Jun 11, 2019 by nrryuya
[Isabelle] Subset of preordered & connex set is preordered & connex? question Further information is requested
#109 opened Mar 30, 2019 by nrryuya
[Proof] Sharding in CBC enhancement New feature or request
#108 opened Mar 18, 2019 by nrryuya
[Proof] The current definition of safety is sufficient for blockchain safety Priority
#107 opened Mar 18, 2019 by nrryuya
[Theory] More general definition of safety enhancement New feature or request
#104 opened Mar 18, 2019 by nrryuya
[Proof] Safety with subjective fault threshold Priority
#99 opened Mar 11, 2019 by nrryuya
[Proof] Safety of TFG with validator rotation Priority
#98 opened Mar 11, 2019 by nrryuya
[Isabelle] Blockchain datatype? enhancement New feature or request
#97 opened Mar 4, 2019 by nrryuya
[Proof] Safety with different fault tolerance threshold enhancement New feature or request
#94 opened Feb 27, 2019 by nrryuya
[Proof] Safety for a infinite set of validators enhancement New feature or request
#93 opened Feb 26, 2019 by nrryuya
[Isabelle] Clean up theories, definitions and theorems enhancement New feature or request
#90 opened Feb 25, 2019 by nrryuya
2 tasks
[Isabelle] \epsilon → E good first issue Good for newcomers
#87 opened Feb 23, 2019 by nrryuya
[Isabelle] Replace wfp_on from AFP with wf in HOL/Wellfounded enhancement New feature or request
#84 opened Feb 20, 2019 by nrryuya
[Proof] GHOST is a valid estimator Priority
#83 opened Feb 19, 2019 by nrryuya
[Isabelle] not for pure logic e.g. ¬ (A ==> B) ? question Further information is requested
#81 opened Feb 17, 2019 by nrryuya
[Proof] The definition of M^n is equivalent to the paper's (defined with direct product) enhancement New feature or request
#80 opened Feb 17, 2019 by nrryuya
[Isabelle] Remove ℕ from definitions and lemmas enhancement New feature or request question Further information is requested
#79 opened Feb 17, 2019 by nrryuya
[Proof] GHOST({g}, ∅) = {g} enhancement New feature or request
#71 opened Feb 7, 2019 by nrryuya
[Proof] Non recursive, equivalent definition of M and Σ enhancement New feature or request
#69 opened Feb 7, 2019 by nrryuya
[Code] Improve Haskell code Priority
#68 opened Feb 7, 2019 by nrryuya
2 tasks
@nud3l
[Proof] GHOST({g}, σ) is a latest honest estimate driven estimator enhancement New feature or request
#64 opened Feb 2, 2019 by nrryuya
[Code] Generate a code of GHOST Priority
#56 opened Jan 29, 2019 by nrryuya
@nud3l @nrryuya
2
[Proof] Block membership property in LMD GHOST is max driven Priority
#39 opened Jan 16, 2019 by nrryuya
ProTip! Exclude everything labeled bug with -label:bug.