a2a9ffbe7e
rpc: clarify timestamps ( #304 )
...
* clarify timestamps
* changelog entry
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-06-02 12:03:33 +00:00
8dd91a7ac3
add a changelog to track changes ( #303 )
...
* add a changelog to track changes
* Update CHANGELOG.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-05-27 11:04:37 +00:00
Yixin Luo and GitHub
f3216e6953
rename HasVote to ReceivedVote ( #289 )
2021-05-25 07:42:30 +00:00
90434cb74d
build(deps): bump actions/stale from 3.0.18 to 3.0.19 ( #302 )
...
Bumps [actions/stale](https://github.com/actions/stale ) from 3.0.18 to 3.0.19.
- [Release notes](https://github.com/actions/stale/releases )
- [Commits](https://github.com/actions/stale/compare/v3.0.18...v3.0.19 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-05-25 07:37:38 +00:00
aba090a69a
build(deps): bump actions/stale from 3 to 3.0.18 ( #300 )
...
Bumps [actions/stale](https://github.com/actions/stale ) from 3 to 3.0.18.
- [Release notes](https://github.com/actions/stale/releases )
- [Commits](https://github.com/actions/stale/compare/v3...v3.0.18 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-05-20 10:50:56 +00:00
Sam Kleinman and GitHub
048f6a32f9
lint: fix lint errors ( #301 )
2021-05-12 18:33:24 -04:00
MengXiangJian and GitHub
4a9bcebe2a
fix message type for block-sync ( #298 )
2021-05-12 11:28:40 +02:00
Jordan Sexton and GitHub
4b79bccc0b
Fixed a broken link ( #291 )
2021-05-07 14:29:12 -04:00
292828a01b
A few improvements to the Ivy proof ( #288 )
...
* Avoid quantifier alternation cycle
The problematic quantifier alternation cycle arose because the
definition of accountability_violation was unfolded.
This commit also restructures the induction proof for clarity.
* add count_lines.sh
* fix typo and add forgotten complete=fo in comment
Co-authored-by: Giuliano <giuliano@eic-61-11.galois.com >
2021-05-04 14:28:07 +02:00
5dfaa54350
rpc: define spec for RPC ( #276 )
...
* add rpc spec and support outline
* add json
* add more routes remove unneeded ones
* add rest of rpc endpoints
* add jsonrpc calls
* add more jsonrpc calls
* fix blockchain
* cleanup unused links and add links to repos
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* add missing param from consensus param
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* Update spec/rpc/README.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* fix cast and add doc to readme
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Marko Baricevic <markobaricevic@Fergalicious.local >
2021-04-27 09:25:32 +00:00
Ethan Buchman and GitHub
00446bb9f4
Update README.md ( #286 )
2021-04-23 19:52:48 +00:00
Callum Waters and GitHub
255942e8c7
p2p: update state sync messages for reverse sync ( #285 )
2021-04-23 13:22:09 +02:00
Callum Waters and GitHub
84ee4249ae
core: update a few sections ( #284 )
2021-04-20 10:21:27 +02:00
Callum Waters and GitHub
b39af911ae
RFC: ReverseSync - fetching historical data ( #224 )
2021-04-19 17:02:09 +02:00
0dc5d4df07
ABCI++ RFC ( #254 )
...
* ABCI++ RFC
This commit adds an RFC for ABCI++, which is a collection of three new phases of communication between the consensus engine and the application.
Co-authored-by: Sunny Aggarwal <sunnya97@protonmail.ch >
* Fix bugs pointed out by @liamsi
* Update rfc/004-abci++.md
Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com >
* Fix markdown lints
* Update rfc/004-abci++.md
Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com >
* Update rfc/004-abci++.md
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
* Update rfc/004-abci++.md
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
* Add information about the rename in the context section
* Bold RFC
* Add example for self-authenticating vote data
* More exposition of the term IPC
* Update pros / negatives
* Fix sentence fragment
* Add desc for no-ops
Co-authored-by: Sunny Aggarwal <sunnya97@protonmail.ch >
Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com >
Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com >
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
2021-04-09 10:33:45 +00:00
Sam Kleinman and GitHub
ea8238f090
abci: reorder sidebar ( #282 )
2021-04-06 06:59:57 +00:00
640b71038b
Proposer-based timestamp specification ( #261 )
...
* added proposer-based timestamp spec
* Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com >
* Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com >
* Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md
Co-authored-by: Marko <marbar3778@yahoo.com >
* Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md
* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_001_draft.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* fixes from PR
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com >
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com >
Co-authored-by: Marko <marbar3778@yahoo.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-03-23 16:40:21 +01:00
Marko and GitHub
5c32ebcda8
p2p: links ( #268 )
...
* fix links
* fix more links
2021-03-23 11:13:42 +00:00
b2465e0c3a
genesis: Explain fields in genesis file ( #270 )
...
* describe the genesis
* Update spec/core/genesis.md
Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com >
* Apply suggestions from code review
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
* add wording on app_state
* Update spec/core/genesis.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com >
Co-authored-by: Callum Waters <cmwaters19@gmail.com >
2021-03-23 10:13:02 +00:00
Marko and GitHub
9f6a4bcf23
readme: cleanup ( #262 )
...
* modify readme
* add rfc and proto
* add rust=spec back to avoid breakage
* lint readme
2021-03-17 13:51:10 +00:00
Ethan Buchman and GitHub
b4a31746dd
Fix list of RFCs ( #266 )
2021-03-17 08:43:54 +01:00
Marko and GitHub
b270ab8d15
spec: merge rust-spec ( #252 )
2021-03-01 08:54:08 +00:00
227e5269ca
abci: note on concurrency ( #258 )
...
Co-authored-by: Marko <marbar3778@yahoo.com >
2021-02-26 10:30:09 +00:00
Marko and GitHub
b315f04980
proto: modify height int64 to uint64 ( #253 )
2021-02-16 13:06:00 +00:00
abaffef912
proto: add files ( #246 )
...
Co-authored-by: Erik Grinaker <erik@interchain.berlin >
2021-01-28 12:10:22 +00:00
Marko and GitHub
038f3e025a
params: remove block timeiota ( #248 )
2021-01-27 11:29:54 +00:00
Igor Konnov and GitHub
2f590a6392
non-critical bugfix in the TLA+ spec (found by new version of apalache) ( #244 )
2021-01-21 11:50:06 +01:00
72d15a4b07
spec: remove reactor section ( #242 )
...
Co-authored-by: Tess Rinearson <tess.rinearson@gmail.com >
2021-01-19 16:28:05 +01:00
Josef Widder and GitHub
1b2b24055c
Update supervisor_001_draft.md ( #243 )
2021-01-15 13:39:36 +01:00
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
Yixin LuoandGitHub
Sam KleinmanandGitHub
MengXiangJianandGitHub
Jordan SextonandGitHub
Ethan BuchmanandGitHub
Igor KonnovandGitHub
Anton KaliaevandGitHub
Shahan KhatchadourianandGitHub
