Tendermint is a really unusual sort of system, unlike anything I've tested before. Got a deterministic FSM? Rub a blockchain on it!
-
-
Prikaži ovu nit
-
tl;dr I didn't find any issues in the replication algorithm proper, and we went pretty darn aggressive in stress testing.
Prikaži ovu nit -
Because it's byzantine tolerant you can do ridiculous things like corrupting local node state and (as long as 2/3 are ok) It Just Works
Prikaži ovu nit -
The issues I *did* find were more single-node problems: forgetting to fsync state to disk, race conditions in on-disk tree structures, etc.
Prikaži ovu nit -
I want to note that I'm *not* a crypto expert, and the intricacies of signing & voting in blockchains are out of my depth. Jepsen isn't...
Prikaži ovu nit -
... built to mess with signatures selectively; it simulates *well behaved* participants. So there's a complementary avenue of research there
Prikaži ovu nit -
If you'd like to work on that kind of formal verification in addition to fault injection testing, the Tendermint team is hiring. :)
Prikaži ovu nit -
(also, if you're interested in working with TLA, Coq, SPIN, etc. to prove/model-check distributed algorithms, give
@tendermint_team a shout)Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
Great analysis! One question though: no more "Mean Girls" photos in the articles? :(
-
Hahaha wellllll now that this is my business and I have a reputation for neutrality... I try to be conservative in my language. :)
- Još 2 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.