Stellar Consensus Protocol: Proof and Code

#1

Post by joyce » Wed, Apr 08, 2015, 4:00 PM UTC

Stellar Consensus Protocol: Proof and Code
stellar.org

Re: Stellar Consensus Protocol: Proof and Code

#2

Post by [deleted] » Wed, Apr 08, 2015, 4:21 PM UTC

[deleted]

Re: Stellar Consensus Protocol: Proof and Code

#3

Post by spolu » Wed, Apr 08, 2015, 4:27 PM UTC

[deleted] wrote: post #2

[deleted]

(disclaimer: I had early access to the whitepaper for review)

You should look in the white paper[0] to the definition of an FBAS which differs from epaxos (while epaxos is egalitarian, SCP is federated). All related proofs are included in the whitepaper, the central one being theorem 3 in 4.2. Finally the protocol specification (Figure 15, p28) is also very interesting.

[0] https://www.stellar.org/papers/stellar-consensus-protocol.pd...

Re: Stellar Consensus Protocol: Proof and Code

#4

Post by lucian1900 » Wed, Apr 08, 2015, 4:37 PM UTC

Interesting that Graydon Hoare [1], Rust's (initial) creator is one of the core developers.

1. https://github.com/graydon

Re: Stellar Consensus Protocol: Proof and Code

#5

Post by yshalabi » Wed, Apr 08, 2015, 4:42 PM UTC

spolu wrote: post #3

[deleted] wrote: post #2

[deleted]

(disclaimer: I had early access to the whitepaper for review) You should look in the white paper[0] to the definition of an FBAS which differs from epaxos (while epaxos is egalitarian, SCP is federated). All related proofs are included in the whitepaper, the central one being theorem 3 in 4.2. Finally the protocol specification (Figure 15, p28) is also very interesting. [0] https://www.stellar.org/papers/stellar-cons…

Hi. I won't be able to read this for a while. I am not familiar with federated byzantine. Can you quickly comment on the difference between this and purely distributed consensus? How is fault tolerance maintained? Do we presume that top tiers are free of byzantine nodes?

Thanks!

Re: Stellar Consensus Protocol: Proof and Code

#6

Post by neilk » Wed, Apr 08, 2015, 4:49 PM UTC

lucian1900 wrote: post #4

Interesting that Graydon Hoare [1], Rust's (initial) creator is one of the core developers. 1. https://github.com/graydon

Graydon also created monotone, which was a big influence on git.

http://www.monotone.ca/monotone.pdf

https://en.wikipedia.org/wiki/Monotone_%28software%29#Monoto...

Re: Stellar Consensus Protocol: Proof and Code

#7

Post by Rhapso » Wed, Apr 08, 2015, 4:49 PM UTC

I'm still reading the paper, but I'm not seeing any discussion of a sybil or eclipse attack defense.

Re: Stellar Consensus Protocol: Proof and Code

#8

Post by olh » Wed, Apr 08, 2015, 4:58 PM UTC

Is this protocol isomorphic to bitshare's Delegated Proof of Stake (DPOS) [1]? Seems to have the same qualities.

*[1] https://bitshares.org/delegates

Re: Stellar Consensus Protocol: Proof and Code

#9

Post by kanzure » Wed, Apr 08, 2015, 4:58 PM UTC

Commentary and review from IRC: https://botbot.me/freenode/bitcoin-wizards/msg/36135395/

Re: Stellar Consensus Protocol: Proof and Code

#10

Post by burke » Wed, Apr 08, 2015, 5:00 PM UTC

Rhapso wrote: post #7

I'm still reading the paper, but I'm not seeing any discussion of a sybil or eclipse attack defense.

This is kind of explained away implicitly by pages 6-7. Each node has its own quorum slice, and they tend to point upward to a set of trustworthy financial institutions, not entirely unlike DNS.

i.e. FBA relies on a web of trust, not just on showing up and churning out hashes or whatever.