Decentralized Thoughts decentralizedthoughts.github.io

2-round BFT in Simplex style

decentralizedthoughts.github.io·46w

From Tendermint to Simplex

decentralizedthoughts.github.io·50w

Reasoning about Distributed Protocols with Smart Casual Verification

decentralizedthoughts.github.io·54w

Verifiable Multi-Exponentiation and Multi-Scalar Multiplication (MSM)

decentralizedthoughts.github.io·68w

Practical Byzantine Fault Tolerant Consensus (PBFT)

decentralizedthoughts.github.io·68w

Key Principles Underlying Partial Synchrony BFT

decentralizedthoughts.github.io·68w

Agreement against strongly adaptive adversaries needs quadratic communication

decentralizedthoughts.github.io·76w

Multi-world Validated Asynchronous Byzantine Agreement

decentralizedthoughts.github.io·77w

Living with asynchrony and eventually reaching agreement by combining binding and randomness

decentralizedthoughts.github.io·77w

Divide and Conquer in Distributed Computing - synchronous BFT with quadratic communication via recursive phase king

decentralizedthoughts.github.io·89w

Log in to enable infinite scrolling