You know you're into far flung edge cases when the #cassandra tests look as follows: $exrd

1. Spin up 32 validator network
2. Spam at 50 tps
3. At block head 20 shut down 28 validators
4. Continue operating 4 remaining until liveness issue @ head ~65
5. Remaining validators should make probabilistic progress.
6. Bring 28 validators back online @ head ~90
6. Returning validators will disrupt network topology
7. Returned validators sync to current head
8. Liveness should immediately return @ head ~100

Real nasty!
Meh

Step 8 should say Deterministic safety & liveness should immediately return @ head ~100

We have probabilistic liveness / safety between steps 3 - 8

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with Dan Hughes

Dan Hughes Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @fuserleer

27 Mar
Throughout the day a few folks have correctly noted that there are indeed hybrid consensus platforms such as $dot #symbol #eth2 & others.

However there's a subtle but important difference in #cassandra that perhaps warrants "hybrid" as the incorrect term.

Clarification then...
As far as I understand, these solutions are essentially two separate consensus mechanisms.

Probabilistic to perform state transitions, with deterministic to finalise the best version of the former.

It works & does the job required, so why is #cassandra different?

....
Think of a hybrid car. There is a petrol engine & electric motor working together to move the car.

They are 2 separate systems & are open loop, one way. The engine if needed can generate electricity for the motor, but the motor doesn't produce anything useful for the engine...
Read 15 tweets
27 Mar
One key area of research I'm doing with #cassandra is testing hybridization of deterministic & probabilistic consensus models.

Successfully doing so would provide an almost "best of both worlds" type model.

...
Probabilistic (#nakamoto) has strong liveness guarantees but is never really safe.

Deterministic (classical) guarantees safety but is difficult to resolve both liveness and safety issues. Usually requiring some #godmode
The #cassandra approach has 2-phases.

The 1st phase is probabilistic promoting liveness to a strong guarantee.

The 2nd phase receives the output of the 1st phase and produces a classical 2f+1 safety threshold.
Read 8 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!

Follow Us on Twitter!