Marko and GitHub
d260ff3e37
abci: rewrite to proto interface ( #237 )
2021-01-12 15:15:37 +01:00
Marko and GitHub
a4672048e7
reactors: remove bcv1 ( #241 )
2021-01-11 18:23:40 +01:00
Marko and GitHub
fc569173a1
layout: add section titles ( #240 )
2021-01-11 18:23:18 +01:00
ce146d00d7
build(deps): bump gaurav-nelson/github-action-markdown-link-check ( #239 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 1.0.11 to 1.0.12.
- [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases )
- [Commits](https://github.com/gaurav-nelson/github-action-markdown-link-check/compare/1.0.11...0fe4911067fa322422f325b002d2038ba5602170 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-01-11 12:12:49 +01:00
Anton Kaliaev and GitHub
439a5bcacb
p2p: update frame size ( #235 )
...
Reflect the change made in https://github.com/tendermint/tendermint/pull/5805
The MTU (Maximum Transmission Unit) for Ethernet is 1500 bytes.
The IP header and the TCP header take up 20 bytes each at least (unless
optional header fields are used) and thus the max for (non-Jumbo frame)
Ethernet is 1500 - 20 -20 = 1460
Source: https://stackoverflow.com/a/3074427/820520
2020-12-18 12:19:38 +01:00
Josef Widder and GitHub
accd7ffe18
Update README.md ( #234 )
2020-12-16 13:27:23 +01:00
Josef Widder and GitHub
42751ea4f3
Computing attack types ( #232 )
...
Add light attack evidence handling
2020-12-15 18:45:26 +01:00
acb9a7d734
build(deps): bump gaurav-nelson/github-action-markdown-link-check ( #233 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 1.0.8 to 1.0.11.
- [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases )
- [Commits](https://github.com/gaurav-nelson/github-action-markdown-link-check/compare/1.0.8...2a60e0fe41b5361f446ccace6621a1a2a5c324cf )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-12-14 21:53:43 +01:00
Igor Konnov and GitHub
31cfa53082
The TLA+ specification of the attackers detection ( #231 )
...
* the working attackers isolation spec, needs more comments
* the TLA+ spec of the attackers isolation
2020-12-11 15:03:48 +01:00
26ef2ccddb
Draft of evidence handling for discussion ( #225 )
...
* start with accountability deliverable
* problem statement
* draft function
* quite complete draft. ready to discuss with Igor
* Update isolate-attackers_001_draft.md
* Update isolate-attackers_001_draft.md
* Update isolate-attackers_001_draft.md
* Update isolate-attackers_001_draft.md
* Update isolate-attackers_001_draft.md
* ready for TLA+ to take over
* isolate
* isolateamnesiatodos
* Update isolate-attackers_001_draft.md
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
* Update rust-spec/lightclient/attacks/isolate-attackers_001_draft.md
Co-authored-by: Igor Konnov <konnov@forsyte.at >
2020-12-11 14:34:16 +01:00
Shahan Khatchadourian and GitHub
6abcb13dab
BFT requires _less than_ 1/3 faulty validators ( #228 )
...
Thanks fo spotting the imprecision in the text, @shahankhatch !
2020-12-02 12:01:18 +01:00
Marko and GitHub
033608bbf1
abci: add abci_version to requestInfo ( #223 )
2020-11-24 15:15:08 +01:00
Marko and GitHub
871d0514cd
abci: lastcommitinfo.round extra sentence ( #221 )
2020-11-17 10:33:01 +01:00
Igor Konnov and GitHub
c1ff62fe44
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec ( #216 )
...
Add light client detector spec in TLA+
2020-11-09 11:08:33 +01:00
Giuliano and GitHub
66e9106b4d
add Ivy proofs ( #210 )
...
* add Ivy proofs
* fix docker-compose command
2020-11-09 11:05:26 +01:00
Josef Widder and GitHub
d5e0294003
Detector English Spec ready ( #215 )
...
Add detector English spec
2020-11-09 11:03:20 +01:00
Marko and GitHub
32b811a1fb
encoding: add secp, ref zip215, tables ( #212 )
2020-11-09 09:53:00 +01:00
Callum Waters and GitHub
819e89ac7a
evidence: update data structures to reflect added support of abci evidence ( #213 )
2020-11-06 09:41:24 +01:00
Marko and GitHub
cf03759ff5
docs: make blockchain not viewable ( #211 )
2020-11-05 12:17:11 +01:00
9fce8480b0
Core: move validation & data structures together ( #176 )
...
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2020-11-05 10:09:59 +01:00
d31a4a4b34
RFC: adopt zip 215 ( #144 )
...
Co-authored-by: Robert Zaremba <robert@zaremba.ch >
2020-11-05 09:57:08 +01:00
9ad6440bc0
Sequential Supervisor ( #186 )
...
* move from tendermint-rs but needs discussion
* markdown lint
* TODO links replaced
* links
* links
* links lint
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* Update rust-spec/lightclient/supervisor/supervisor.md
* moved peer handling definitions to supervisor
* polishing
* rename
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* changes to maintain StateVerified again
* ready for changes in verification
* start of supervisor
* module name
* fixed
* more details
* supevisor completed. Now I have to add function to verification
* ready for review
* tla comment
* removed issues
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* intro text fixed
* indentation
* Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
* comment to entry points
Co-authored-by: Marko Baricevic <marbar3778@yahoo.com >
2020-11-02 17:35:25 +01:00
Marko and GitHub
97928e190a
github: issue template for proposals ( #190 )
2020-11-02 16:06:17 +01:00
Josef Widder and GitHub
ec8af314cc
spec: update light client verification to match supervisor ( #171 )
...
* VDD renaming of verification spec + links fixed
* latest()
* backwards
* added TODOs
* link in old file to new name
* better text
* revision done. needs one more round of reading
* renamed constants in 001 according to TLA+ and impl
* ready for PR
* forgot linting
* Update rust-spec/lightclient/verification/verification_002_draft.md
* Update rust-spec/lightclient/verification/verification_002_draft.md
* added lightstore function needed for supervisor
* added lightstore functions for supervisor
* ident
* Update rust-spec/lightclient/verification/verification_002_draft.md
2020-10-22 14:26:56 +02:00
a3fadb7c1a
build(deps): bump gaurav-nelson/github-action-markdown-link-check from 1.0.7 to 1.0.8 ( #188 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 1.0.7 to 1.0.8.
- [Release notes](https://github.com/gaurav-nelson/github-action-markdown-link-check/releases )
- [Commits](https://github.com/gaurav-nelson/github-action-markdown-link-check/compare/1.0.7...e3c371c731b2f494f856dc5de7f61cea4d519907 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-10-21 13:15:32 +02:00
Sam Hart and GitHub
01622f81e9
Update README.md ( #185 )
2020-10-14 17:08:20 +02:00
Igor Konnov and GitHub
792767d1cb
Extending the blockchain specification (in the light client) to produce different ratios of faults ( #183 )
...
* cleaning unused definitions
* introduced the ratio of faulty processes
2020-10-08 10:42:00 +02:00
Josef Widder and GitHub
0794fc8ff2
first check latest with secondary ( #184 )
2020-10-08 09:51:00 +02:00
c5576dfa69
spec: protobuf changes ( #156 )
...
Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com >
2020-10-06 12:40:25 +02:00
Marko and GitHub
04fb20e33d
remove setOption ( #181 )
2020-10-05 08:54:41 +02:00
Josef Widder and GitHub
8391fa0b89
TLA+ specs from MBT revision ( #173 )
2020-10-01 11:31:53 +02:00
Marko and GitHub
3e56eb5fe3
fix markdown linter ( #172 )
2020-09-29 14:23:40 +02:00
Callum Waters and GitHub
733b020899
evidence: update data structures ( #165 )
2020-09-29 14:05:44 +02:00
Andrey Kuprianov and GitHub
109a73f672
describe valset sorting according to v0.34 requirements ( #169 )
2020-09-25 09:22:14 +02:00
Josef Widder and GitHub
80747a0872
fixed an overlooked conflict ( #167 )
2020-09-24 09:59:24 +02:00
f3033c5515
spec: Light client attack detector ( #164 )
...
* start with new detection and evidence spec
* more definitions at top
* sketch of functions
* pre post draft
* evidence proof
* typo
* evidence theory polished
* some TODOs resolved
* more TODOs
* links
* second to last revision before PR
* links
* I will read once more and then make a PR
* removed peer handling definitions
* secondary
* ready to review
* detector ready for review
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* Update rust-spec/lightclient/detection/detection.md
* skip-trace
* PossibleCommit explained
* Update rust-spec/lightclient/detection/detection.md
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
* comments by Zarko
* renamed and changed link in README
Co-authored-by: Zarko Milosevic <zarko@informal.systems >
2020-09-24 09:53:50 +02:00
Anton Kaliaev and GitHub
6c95c3f250
spec/reactors/mempool: batch txs per peer ( #155 )
...
* spec/reactors/mempool: batch txs per peer
Refs https://github.com/tendermint/tendermint/issues/625
* update
2020-09-10 21:56:00 +02:00
Josef Widder and GitHub
a66bb37e32
Update README.md ( #160 )
2020-09-10 15:07:24 +02:00
606abc7fc0
Fastsync spec from tendermint-rs ( #157 )
...
* fastsync spec from tendermint-rs
* fixed broken link
* fixed linting
* more fixes
* markdown lint
* move fast_sync to rust-spec
Co-authored-by: Marko Baricevic <marbar3778@yahoo.com >
2020-09-10 13:03:50 +02:00
b74b1c2b68
Current versions of light client specs from tendermint-rs ( #158 )
...
* current versions of light client specs from tendermint-rs
* markdown lint
* linting
* links
* links
* links
Co-authored-by: Marko Baricevic <marbar3778@yahoo.com >
2020-09-10 12:56:15 +02:00
Marko and GitHub
dd325bb191
add a stale bot ( #134 )
2020-09-10 10:41:28 +02:00
Marko and GitHub
d8a2c8f6f1
spec: remove evidences ( #153 )
2020-09-02 18:17:11 +02:00
1075f77cc3
spec: extract light-client to its own directory ( #152 )
...
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2020-09-01 10:47:14 +02:00
Marko and GitHub
45bbbb6317
spec: update abci events ( #151 )
2020-09-01 10:05:34 +02:00
Marko and GitHub
6140847bba
docs: add sections to abci ( #150 )
2020-08-31 15:50:07 +02:00
cda8006569
build(deps): bump gaurav-nelson/github-action-markdown-link-check from 0.6.0 to 1.0.7 ( #149 )
...
Bumps [gaurav-nelson/github-action-markdown-link-check](https://github.com/gaurav-nelson/github-action-markdown-link-check ) from 0.6.0 to 1.0.7.
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2020-08-24 13:54:15 +02:00
Marko and GitHub
9dbf818055
ci: add dependabot config ( #148 )
2020-08-24 13:52:22 +02:00
Marko and GitHub
efbbc9462f
ci: add markdown linter ( #146 )
2020-08-24 11:47:31 +02:00
Tess Rinearson and GitHub
c9d3564634
remove unused directories and update README ( #145 )
...
This change removes unused directories (`papers` and `research`)
and updates the README to reflect our strategy for merging the
informalsystems/tendermint-rs specs into this repository.
Partially addresses #121 .
2020-08-21 12:40:31 +02:00
Erik Grinaker and GitHub
8dd2ed4c6f
update ResponseInitChain.app_hash description ( #143 )
2020-08-13 13:05:12 +02:00
MarkoandGitHub
Anton KaliaevandGitHub
Josef WidderandGitHub
Igor KonnovandGitHub
Shahan KhatchadourianandGitHub
GiulianoandGitHub
Callum WatersandGitHub
Sam HartandGitHub
Andrey KuprianovandGitHub
Tess RinearsonandGitHub
Erik GrinakerandGitHub