LayerXcom/cbc-casper-proof - GitHub Explorer | GitHub Explorer | Trending

Stars

36

Forks

4

Watchers

36

Open Issues

27

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Merge pull request #117 from LayerXcom/lemma39_by_lemma36_sorry

Ryuya Nakamura•6 years ago

f50b614View on GitHub

Fix with agreeing_validators_def

中村龍矢•6 years ago

a777601View on GitHub

Remove old comments

中村龍矢•6 years ago

a44996fView on GitHub

Remove unused lemma: equivocating_validators_subset_of_validators

中村龍矢•6 years ago

5c5ac50View on GitHub

Remove Clique Oracle

中村龍矢•6 years ago

2dde0bbView on GitHub

Merge pull request #125 from myuon/inspector

Ryuya Nakamura•6 years ago

7f296a8View on GitHub

feat: complete the proof of Lemma 40

myuon•6 years ago

ce84264View on GitHub

feat: complete the proof of Lemma 34

myuon•6 years ago

c2caeb1View on GitHub

feat: next inspector with honest, in the case of `v = sender m` [wip]

myuon•6 years ago

4f54011View on GitHub

fix: Lemma 24

myuon•6 years ago

b63c09dView on GitHub

fix: Lemma 24 [wip]

myuon•6 years ago

25c2f6bView on GitHub

feat: Lemma 30

myuon•6 years ago

131db4bView on GitHub

feat: complete Lemma 23

myuon•6 years ago

f2a672eView on GitHub

wip: Lemma 23

myuon•6 years ago

a3a16edView on GitHub

fix: Lemma 33

myuon•6 years ago

f26b2eeView on GitHub

View all commits

GitHub Explorer

cbc-casper-proof

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues