John Adler
John Adler
Instead of a linear previous-blockhash, a Merkle accumulator (such as a Merkle mountain range) should be used. This allows for proving inclusion of a block in the chain with a...
Currently the only evidence type is double-signing. There should be additional types for anything slashable, i.e. anything that would trigger a fraud proof. Upcoming new Tendermint evidence types: https://github.com/tendermint/tendermint/blob/proto-breakage/proto/types/evidence.proto Also...
The Tendermint light client allows _skipping verification_, which includes not only skipping verification, but also skipping downloading entire ranges of block headers. Ref: https://arxiv.org/abs/2010.07031 This is only under and honest...
Define the process and parameters (number of samples) for doing Data Availability Sampling (DAS).
#47 cleaned up a number of issues around Merkle tree specs. Additional proof formats still need to be defined * [ ] Merkle multiproofs * [ ] Exclusion proof for...
#47 cleaned up a number of issues around Merkle tree specs. Diagrams are still missing however. * [ ] Binary Merkle tree * [ ] Sparse Merkle tree * [...
BLS can be used to aggregate signatures (i.e. represent an arbitrary number of unaggregated signatures as a fixed-length aggregated signature). This should allow for a drastic reduction in the size...
┆Issue is synchronized with this [Asana task](https://app.asana.com/0/1200392411185755/1200392610287768) by [Unito](https://www.unito.io)
["Partial" block body downloading](https://github.com/lazyledger/lazyledger-specs/blob/e5df39c617db4a1af0590d505a9009ee311619de/specs/node_types.md#partial-bodies) involves downloading a subset of block bodies rather than a subset of each block body. There might be a better name for this. ┆Issue is synchronized...
This isn't easily maintainable. A CI job should be added that runs the above steps, then runs `celestia version` and compares the output to these lines. _Originally posted by @adlerjohn...