Skip to content

Alternate Byzantine Behavior definition based on message dependencies #10

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

Draft
traiansf wants to merge 23 commits into
base: master
Choose a base branch
from
Draft

Alternate Byzantine Behavior definition based on message dependencies #10

Show file tree
Hide file tree
Changes from 15 commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
b33cf1b
induced component projection
traiansf Jan 5, 2022
02d983c
Abstract validators
traiansf Jan 5, 2022
0db67fd
Final touches
traiansf Jan 20, 2022
47c8cce
Library updates
traiansf Jan 21, 2022
4673f4a
Specialization of existing results
traiansf Jan 21, 2022
eb07512
Revamped Message Dependencies
traiansf Jan 21, 2022
898e801
FixedSet Equivocation based on message dependencies
traiansf Jan 21, 2022
39f7500
Annotated VLSMs
traiansf Jan 21, 2022
41d84cb
Limited equivocation based on message dependencies
traiansf Jan 21, 2022
b202232
Equivalence with state equivocation model
traiansf Jan 21, 2022
2a2776e
Byzantine traces result for message-dependency-based limited
traiansf Jan 25, 2022
f4d7121
Relaxing validator assumption to message-validation
traiansf Jan 27, 2022
6b5ea46
Refactoring and documentation
traiansf Jan 27, 2022
69c618a
progress
traiansf Jan 27, 2022
d1a4a3f
Apply suggestions from code review
traiansf Jan 31, 2022
04af695
progress
traiansf Feb 8, 2022
480f1b6
defining types
traiansf Feb 10, 2022
8965854
Merge remote-tracking branch 'origin/master' into msg-dep-byzantine-b…
traiansf Feb 22, 2022
07c34a2
progress
traiansf Feb 22, 2022
90fe4c0
Merge remote-tracking branch 'origin/master' into msg-dep-byzantine-b…
traiansf Mar 2, 2022
beb257c
Merge remote-tracking branch 'origin/master' into msg-dep-byzantine-b…
traiansf Mar 3, 2022
601c492
Merge remote-tracking branch 'origin/master' into msg-dep-byzantine-b…
traiansf May 26, 2022
6220483
Merge remote-tracking branch 'origin/master' into msg-dep-byzantine-b…
traiansf Jun 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,3 +26,4 @@ deps.map
*.dpd
*.dot
.coq-native/
.vscode
3 changes: 3 additions & 0 deletions _CoqProject
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,15 +29,18 @@ theories/VLSM/Core/Decisions.v
theories/VLSM/Core/MessageDependencies.v
theories/VLSM/Core/ProjectionTraces.v
theories/VLSM/Core/SubProjectionTraces.v
theories/VLSM/Core/AnnotatedVLSM.v

theories/VLSM/Core/Equivocation.v
theories/VLSM/Core/EquivocationProjections.v
theories/VLSM/Core/Equivocation/NoEquivocation.v
theories/VLSM/Core/Equivocation/FixedSetEquivocation.v
theories/VLSM/Core/Equivocation/MsgDepFixedSetEquivocation.v
theories/VLSM/Core/Equivocation/TraceWiseEquivocation.v
theories/VLSM/Core/Equivocation/WitnessedEquivocation.v
theories/VLSM/Core/Equivocation/FullNode.v
theories/VLSM/Core/Equivocation/LimitedEquivocation.v
theories/VLSM/Core/Equivocation/MsgDepLimitedEquivocation.v

theories/VLSM/Core/Equivocators/Common.v
theories/VLSM/Core/Equivocators/Projections.v
Expand Down
Loading