tendermint-rs
tendermint-rs copied to clipboard
informalsystems
Client libraries for Tendermint/CometBFT in Rust!
> What you got in mind for this? Worth capturing in a follow-up issue? Yeah, probably. I think it'd be good to switch to using the [`k256::PublicKey`](https://docs.rs/k256/0.8.0/k256/type.PublicKey.html) or [`k256::ecdsa::VerifyingKey`](https://docs.rs/k256/0.8.0/k256/ecdsa/struct.VerifyingKey.html) types...
https://github.com/informalsystems/tendermint-rs/blob/7eaa81bddd764ab76e68fce0bb2bcd094168bedd/proto/src/protobuf.rs#L1-L4 Prost now has a way to not include comments of the built-in types in the generated code (which caused doctest issues). Remove the custom Timestamp and Duration implementation. Benefit:...
The Protobuf schema would be used for: - serializing light blocks for storage in the light store - across FFI boundaries (eg. RustWASM)
`evidence::Params` is currently JSON serializes the domain struct. It could easily be converted to the tendermint_proto::types::EvidenceParams struct instead, since it's already its proto-type. It contains a `Duration` which is also...
From working on #686 , looks like MBT is wrongly re-arranging `validators` in `validator_set` **after** Testgen (correctly) generates it. Not sure yet where exactly this is happening. As a temporary...
After extending Tendermint Validator Set with the [total_voting_power field](https://github.com/informalsystems/tendermint-rs/blob/0b1962a6fb985830fd3fe610df54bd6aa2e0c097/tendermint/src/validator.rs#L21), the model-based tests stopped to work. The reason for that behavior is that validator sets are not first class citizens in...
The following [LightClient single-step tests](https://github.com/informalsystems/tendermint-rs/blob/master/light-client/tests/support/model_based/LightTests.tla) were introduced to catch the bug described in #650: - TestEmptyCommitEmptyValset, - TestEmptyCommitNonEmptyValset, - TestLessThanTwoThirdsCommit As it turned out (see #652, #656, #657), this behavior...
During the discussion on MBT with the Tendermint-go team, @konnov proposed the following idea: besides using TLA+ models for complete protocols, we could write simple TLA+ models, targeted specifically towards...
To address https://github.com/informalsystems/tendermint-rs/issues/561#issuecomment-694900114 we discussed using `git submodule` to provide read-only links to the TLA+ specs in the spec repo to support the model-based testing work happening in this repo
We need an overview of what and how we're testing different crates in the repo. It should probably be in the README in the root of the repository. This should...
Metadata
Owner
Metadata
Client libraries for Tendermint/CometBFT in Rust!