206 Commits (48e008ed104a05f096c6fef9a851c544f3ab5069)
 

Author SHA1 Message Date
  Marko 5c32ebcda8
p2p: links (#268) 4 years ago
  Marko b2465e0c3a
genesis: Explain fields in genesis file (#270) 4 years ago
  Marko 9f6a4bcf23
readme: cleanup (#262) 4 years ago
  Ethan Buchman b4a31746dd
Fix list of RFCs (#266) 4 years ago
  Marko b270ab8d15
spec: merge rust-spec (#252) 4 years ago
  Ethan Buchman 227e5269ca
abci: note on concurrency (#258) 4 years ago
  Marko b315f04980
proto: modify height int64 to uint64 (#253) 4 years ago
  Marko abaffef912
proto: add files (#246) 4 years ago
  Marko 038f3e025a
params: remove block timeiota (#248) 4 years ago
  Igor Konnov 2f590a6392
non-critical bugfix in the TLA+ spec (found by new version of apalache) (#244) 4 years ago
  Marko 72d15a4b07
spec: remove reactor section (#242) 4 years ago
  Josef Widder 1b2b24055c
Update supervisor_001_draft.md (#243) 4 years ago
  Marko d260ff3e37
abci: rewrite to proto interface (#237) 4 years ago
  Marko a4672048e7
reactors: remove bcv1 (#241) 4 years ago
  Marko fc569173a1
layout: add section titles (#240) 4 years ago
  dependabot[bot] ce146d00d7
build(deps): bump gaurav-nelson/github-action-markdown-link-check (#239) 4 years ago
  Anton Kaliaev 439a5bcacb
p2p: update frame size (#235) 4 years ago
  Josef Widder accd7ffe18
Update README.md (#234) 4 years ago
  Josef Widder 42751ea4f3
Computing attack types (#232) 4 years ago
  dependabot[bot] acb9a7d734
build(deps): bump gaurav-nelson/github-action-markdown-link-check (#233) 4 years ago
  Igor Konnov 31cfa53082
The TLA+ specification of the attackers detection (#231) 4 years ago
  Josef Widder 26ef2ccddb
Draft of evidence handling for discussion (#225) 4 years ago
  Shahan Khatchadourian 6abcb13dab
BFT requires _less than_ 1/3 faulty validators (#228) 4 years ago
  Marko 033608bbf1
abci: add abci_version to requestInfo (#223) 4 years ago
  Marko 871d0514cd
abci: lastcommitinfo.round extra sentence (#221) 4 years ago
  Igor Konnov c1ff62fe44
Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (#216) 4 years ago
  Giuliano 66e9106b4d
add Ivy proofs (#210) 4 years ago
  Josef Widder d5e0294003
Detector English Spec ready (#215) 4 years ago
  Marko 32b811a1fb
encoding: add secp, ref zip215, tables (#212) 4 years ago
  Callum Waters 819e89ac7a
evidence: update data structures to reflect added support of abci evidence (#213) 4 years ago
  Marko cf03759ff5
docs: make blockchain not viewable (#211) 4 years ago
  Marko 9fce8480b0
Core: move validation & data structures together (#176) 4 years ago
  Marko d31a4a4b34
RFC: adopt zip 215 (#144) 4 years ago
  Josef Widder 9ad6440bc0
Sequential Supervisor (#186) 4 years ago
  Marko 97928e190a
github: issue template for proposals (#190) 4 years ago
  Josef Widder ec8af314cc
spec: update light client verification to match supervisor (#171) 4 years ago
  dependabot[bot] a3fadb7c1a
build(deps): bump gaurav-nelson/github-action-markdown-link-check from 1.0.7 to 1.0.8 (#188) 4 years ago
  Sam Hart 01622f81e9
Update README.md (#185) 4 years ago
  Igor Konnov 792767d1cb
Extending the blockchain specification (in the light client) to produce different ratios of faults (#183) 4 years ago
  Josef Widder 0794fc8ff2
first check latest with secondary (#184) 4 years ago
  Marko c5576dfa69
spec: protobuf changes (#156) 4 years ago
  Marko 04fb20e33d
remove setOption (#181) 4 years ago
  Josef Widder 8391fa0b89
TLA+ specs from MBT revision (#173) 4 years ago
  Marko 3e56eb5fe3
fix markdown linter (#172) 4 years ago
  Callum Waters 733b020899
evidence: update data structures (#165) 4 years ago
  Andrey Kuprianov 109a73f672
describe valset sorting according to v0.34 requirements (#169) 4 years ago
  Josef Widder 80747a0872
fixed an overlooked conflict (#167) 4 years ago
  Josef Widder f3033c5515
spec: Light client attack detector (#164) 4 years ago
  Anton Kaliaev 6c95c3f250
spec/reactors/mempool: batch txs per peer (#155) 4 years ago
  Josef Widder a66bb37e32
Update README.md (#160) 4 years ago