tendermint/spec

Issues

• ABCI++ comments that needs to be addressed from https://github.com/tendermint/spec/pull/327

  #351 opened 3 years ago by milosevic
  2

• Can we merge CheckTx and DeliverTx response types

  #342 opened 3 years ago by robert-zaremba
  4

• proto: extend tooling support

  #354 opened 3 years ago by cmwaters
  2

• Fix markdown link check non-429 errors

  #315 opened 3 years ago by williambanfield
  1

• v0.1.0 todolist

  #316 opened 3 years ago by tac0turtle
  7

• Variable block header

  #236 opened 3 years ago by hammadtq
  6

• abci: fill block with app defined txs

  #201 opened 3 years ago by tac0turtle
  2

• Selective Broadcast

  #189 opened 3 years ago by tac0turtle
  1

• formal verification & model-based testing status

  #187 opened 3 years ago by melekes
  0

• light client: coordinate exposed API

  #163 opened 3 years ago by tac0turtle
  1

• Clarify Merkle Root of Empty Trees

  #127 opened 3 years ago by ebuchman
  1

• Fix Commit validation psuedocode

  #129 opened 3 years ago by ebuchman
  1

• Repo cleanup and polish

  #121 opened 3 years ago by ebuchman
  1

• abci: update proto's to reflect changes in ABCI++

  #386 opened 3 years ago by cmwaters
  1

• PBTS: should synchrony parameters be adaptive?

  #371 opened 3 years ago by cason
  24

• proto: have a single source of truth

  #343 opened 3 years ago by tac0turtle
  1

• PBTS: association between timely predicate and timeout_commit

  #370 opened 3 years ago by cason
  7

• Proposer time - fix message filter condition

  #353 opened 3 years ago by josef-widder
  10

• proposer-based time: address implementation concerns

  #323 opened 3 years ago by josef-widder
  12

• FIx markdown lint errors

  #363 opened 3 years ago by creachadair
  0

• Light client in Go initialization

  #293 opened 3 years ago by josef-widder
  2

• spec: add priority to CheckTx ABCI response

  #162 opened 3 years ago by ninjaahhh
  5

• Estimate the relation between timeoutPropose and PRECISION/ACCURACY

  #265 opened 3 years ago by istoilkovska
  11

• Evidence reactor specification

  #295 opened 3 years ago by josef-widder
  3

• [Light client] Skipping block verification - trusting validator set.

  #326 opened 3 years ago by goral09
  2

• Spec versioning

  #204 opened 3 years ago by tessr
  2

• p2p: use Noise for secret connection handshake

  #205 opened 3 years ago by erikgrinaker
  2

• p2p: Use a DHT

  #207 opened 3 years ago by tac0turtle
  0

• ABCI: Support extensions to pre-commit

  #214 opened 3 years ago by ValarDragon
  0

• blockparams: introduce an epoch_duration field

  #260 opened 3 years ago by tac0turtle
  28

• ci: action to open issues in tm-go & tm-rs

  #255 opened 3 years ago by tac0turtle
  2

• Code/spec discrepancies to Lightclient in Go

  #294 opened 3 years ago by josef-widder
  2

• Version: Cut a version of the spec.

  #307 opened 3 years ago by tac0turtle
  5

• mempool: update spec

  #305 opened 3 years ago by tac0turtle
  0

• one missing point in proof of round-synchronisation lemma

  #296 opened 3 years ago by zhiqiangxu
  0

• why is the following assertion true in proof.tex?

  #290 opened 4 years ago by zhiqiangxu
  0

• spec: define an RPC spec

  #273 opened 4 years ago by tac0turtle
  6

• broken links in docs

  #257 opened 4 years ago by hxrts
  1

• Genesis: add explanation

  #161 opened 4 years ago by tac0turtle
  0

• Move "reactors" out of spec

  #238 opened 4 years ago by tessr
  3

• Write a TLA+ specification for evidence handling

  #226 opened 4 years ago by konnov
  1

• Use the Genesis state as a Trusted State in the light client

  #131 opened 4 years ago by brapse
  4

• tla+ add local time to light client verifier

  #170 opened 4 years ago by josef-widder
  1

• Model Checking of Light Client Verification

  #177 opened 4 years ago by josef-widder
  1

• Update Supervisor and Detector to add at most one lightblock per call

  #178 opened 4 years ago by josef-widder
  4

• Combine data structure descriptions and validation rules in core/data_structures.md

  #128 opened 4 years ago by ebuchman
  0

• evidence: missing lightblock type

  #182 opened 4 years ago by tac0turtle
  0

• TLA+ Light Client Verification if Tendermint Security Model is violated

  #179 opened 4 years ago by josef-widder
  1

• Document validator sorting correctly for v.0.34

  #168 opened 4 years ago by andrey-kuprianov
  0

• Evidence time should be sourced from block time not vote time

  #133 opened 4 years ago by cmwaters
  0