Hans Moog 🦋 Profile picture
Nov 14 34 tweets 14 min read
@DesheShai I would argue that the 50% attack resilience you mentioned is not the result of PoW but the result of how Satoshis voting mechanism does not operate in rounds where you have to "prematurely" finalize decisions. This allows actors to continuously adjust their opinion and ...
@DesheShai ... ultimately converge to all add weight to the same winning outcome.

If you operate in rounds (like all contemporary BFT style consensus mechanisms) and declare a decision to be final once you have reached 67% of the weight (to move on to the next round), then an attacker ...
@DesheShai ... that controls >1/3rd (i.e 34%) could switch the outcome of the voting which leads to the lowered security threshold in each round (waiting for more weight would challenge liveness).

If you do however never finalize decisions and allow actors to converge post-reaching a ...
@DesheShai ... threshold, then you will have the same convergence properties as in PoW based systems where at some point you will have 100% of the voters approving a decision which consequently requires >50% of the weight to revert it.

The reason why existing BFT style consensus ...
@DesheShai ... mechanisms operate in rounds and accordingly lack this kind of "post-threshold" convergence which gives PoW its superior security is not a limitation of the idea of having a known validator set but is simply related to the fact that nobody has ever built a never-ending ...
@DesheShai ... voting mechanism that could track deterministic confirmation thresholds without relying on rounds.

What makes Satoshis ideas of a never ending voting so powerfull is that it is not a binary consensus (i.e. is a block final or not, is a certain vertice in a DAG a ...
@DesheShai ... checkpoint or not) but that it is a "continuous colored voting" that can choose between a potentially unbounded number of competing forks (mostly at different heights) with a fixed and constant messaging complexity. This allows it to operate in a "never-ending mode" ...
@DesheShai ... which grants it its superior "convergence properties" ultimately leading to its 50% resilience.

Not operating in rounds also get's around the liveness issues of traditional BFT style consensus mechanisms as nodes never need to reach a threshold to advance to the next round.
@DesheShai It is important to note, that even never-ending voting mechanisms (like BTC, Kaspa or ours) still rely on a somewhat accurate perception of the "passing of relative time" (measured by the hardware clock) to continously adjust system parameters like mining difficulty and so on ...
@DesheShai ... but this is conceptually very different from finalizing decisions at the end of rounds and not carrying forward weights.

Our consensus is the first "continuous colored voting mechanism" that is able to vote on an unbounded number of competing conflicts (rather than a ...
@DesheShai ... single value like the longest chain) with a fixed and constant messaging complexity and is accordingly able to track deterministic confirmation thresholds for individual conflicts without having to rely on rounds.

Of course declaring sth. confirmed is still somewhat ...
@DesheShai ... problematic (if more than 1/3rd of the weight turn malicious at that very moment) but since our finality is not really deterministic in the traditional sense of being irrevertible, this threshold is simply a "sane default value" (that is in line with expected BFT ...
@DesheShai ... thresholds) at which we notify the user, that a transactions is unlikely to be rolled back.

A user that expects a higher threshold of malicious actors can also wait longer in the same way as a user can freely choose after how many blocks to accept a Bitcoin transaction.
@DesheShai But even though we ultimately reach the same security and liveness properties as PoW systems, there is still one remaining benefit of PoW and that is that it taps into an unbounded external resource for sybil protection - namely the amount of fees that users are willing to ...
@DesheShai ... pay over time - which through PoW pile up as "real world commitments" (in the form of burned energy) to provide settlement security for the entire network.

In the absence of block rewards, this means that PoW derives its entire superior settlement security by allowing ...
@DesheShai ... users to pay a fee that "hopefully" ends up financing blocks of miners extending the longest chain.

While the inclusion of external actors for settlement security is very desirable, the "hopefully aspect" is a bit questionable and the very possibility of user commitments ...
@DesheShai ... ending up financing a secret attacker chain is in my opinion unnecessary if you instead allow users to directly commit to the preferred state. Instead of measuring social consensus / agreement through game theory and the proxy of burned energy we just measure social ...
@DesheShai ... consensus directly and while this is of course less "exact" (as it has to be "subjective" to be permissionless) it will ultimately most probably be "good enough" as continously asking a randomly chosen subset of the honest population is almost equivalent to asking ...
@DesheShai ... everybody (Avalanche and every pre-election poll is based on exactly the same ideas).

Stellar has tried to formalize the ideas around such a sybil protection: arxiv.org/pdf/1906.09314… but since the voting mechanism of Stellar is based on mutual peering and p2p queries it ...
@DesheShai ... makes the network feel somewhat permissioned and not scalable. In our model, the United Nations don't have to trust you back, if you want to use their statements as a way to reach a higher degree of settlement security.

Compared to that Stellar paper we also don't let ...
@DesheShai ... the trusted actors vote directly but use PoS to create a precise pre-agreement between them upfront. Just imagine me trusting my grandma, and you trusting your grandma. Our validator sets have 0 overlap, but assuming both of our grandmas are online, and an active part of ...
@DesheShai ... the network that both regularly make statements, then they will commit to the same decisions. If we assume that PoS is secure in the sense of being able to provide short-term agreements (including real-time slashing to protect against malicious committees), then we will ...
@DesheShai ... both still reach the same protection against long range attacks as both of our grandmas will commit to the same state and are accordingly a "representative member" of a subset of the entire honest population of nodes.

The fact, that all votes are "public" and the block ...
@DesheShai ... delay is minimal (since each block only contains at max a single tx) makes me assume that we can measure misbehavior almost in real time (everybody sees that validators switch to a minority chain) leading to possible real-time slashing capabilities according to ideas that ...
@DesheShai ... Vitalik discussed here: vitalik.ca/general/2018/0… which should ultimately make us resilient against even 99% attacks on the PoS level but this needs additional research to see if my assumption will hold in practice.

But even if we assume that the pre-consensus can ...
@DesheShai ... temporarily be broken (>33% of stake turns malicious and our weak subjectivity protection doesn't work), then we would still expect the network to converge to a single chain again as even nodes that share 0% overlap in their validator sets still tend to converge to a ...
@DesheShai ... single opinion if the trust relationships form a "network" as layed out in that Stellar paper and equally verified by us as part of our Cellular Automata based line of research.

Now coming to what you wrote: I think the comparison to a finality block is not too far ...
@DesheShai ... fetched, even though nobody really issues such a block. Instead users simply include a commitment to their local ledger state in each of their blocks that (after consensus) is the same for everybody. If a malicious node commits to something else then nodes will perceive ...
@DesheShai ... that as a competing commitment chain that they would only switch to if it is heavier AND has more support by trusted actors.

In practice we don't even process or forward these blocks in our "consensus engine" other than requesting compact weight proofs for their claimed ...
@DesheShai ... weight from the neighbor that broadcasted this malicious statement.

Since all nodes are signing the same hashes, you can construct a "virtual block" that is comprised of a list of all actors that signed the commitment, which can consequently be used to create the weight ...
@DesheShai ... proofs I mentioned. We are planning to use sth like this: eprint.iacr.org/2020/1568.pdf

The biggest questions are most probably how to enable the identification and management of real world identities and their mapping to the ledger to make this work well. I have written a ...
@DesheShai ... blog post about a new form of tokenomics that aims to extend the capabilities of DLTs to provide long living sybil protected identities for web2 as one of its key features and that tries to establish a compelling framework for managing these identities directly in the ledger:
@DesheShai Sorry for the wall of text - you can also pull out of the discussion if it gets too much.

I am not sure if you are honestly interested or just trying to be polite :P

• • •

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

Keep Current with Hans Moog 🦋

Hans Moog 🦋 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 @hus_qy

Nov 9
@DesheShai Btw. what we discussed is actually just going to be the pre-consensus of the entire protocol.

We decided to use PoS as a pre-consensus as it is more efficient and secure than PoW when it comes to producing agreements (you can slash attackers and so on) but the entire reason ...
@DesheShai ... why we want to enable users to issue their own blocks is because we actually want to tap into a completely new form of sybil protection for settlement that we call "social consensus" or "subjective asymmetric trust" (name tbd.) and that we believe to be superior to PoW ...
@DesheShai ... when it comes to establishing an "objective settlement security".

The idea is essentially very simple. Whenever users issue a block, they do not just attach their block to their preferred part of the DAG and therefore contribute to the decision making process but they ...
Read 20 tweets
Nov 7
@DesheShai What you are describing is the old IOTA consensus which was found to be broken several years ago.

Solving the problems turned out to be much harder than we anticipated and required us to go through several iterations of ideas.

We only recently solved the last open research ...
@DesheShai ... questions and are currently working on getting the code base ready for mainnet.

If you want to get up to speed with what we are building, I suggest you have a look at the following whitepaper: arxiv.org/pdf/2205.02177…

People who are not that math savvy and prefer an ...
@DesheShai ... explanation that is easier to digest for laymen can also read my blog posts. The most important ones so far are most probably the following ones:

husqy.medium.com/the-trust-mach…
Read 7 tweets
Oct 30
After having been gone for almost 3 weeks I am finally back and I think its time for a short update as a lot of things happened in the last weeks:

1. We had a strategy summit in Berlin where we settled all remaining open discussions around things like tokenomics, and our vision.
I was asked to not share any details as we are planning to communicate this updated and extended vision in a "proper way" in the coming months, but I have to say that I am extremely happy with the outcome of these discussions and I couldn't have hoped for a better result (it ...
feels like we are finally fully aligned around what we can and want to build).

2. We finished the rewrite of the consensus related parts of our prototype and started preparing the integration into the general node framework (github.com/iotaledger/gos…).

There are still a few ...
Read 8 tweets
Sep 12
@TheDLTimes @Tek_la_iota @navinram999 @DomSchiener Aptos and Sui ... when two fight, the third rejoices!

There will be an intense discussion over details in the design between both projects and interestingly our arguments and our details will beat both of them quite easily.
@TheDLTimes @Tek_la_iota @navinram999 @DomSchiener IOTA is not in a race against time (we lost that race long ago) - its in a race against perfection.

If anything this can be seen as a huge verification of our work and tell us that we are not only in line but even slightly ahead of the best researchers money can buy when it ...
@TheDLTimes @Tek_la_iota @navinram999 @DomSchiener ... comes to the capabilities of our tech framework.

We will be as fast and scalable as SUI but at the same time offer a few extra features:

- faster finality / even more efficient execution
- more decentralization
- more security
- more robustness (i.e. in times of war)
- ...
Read 21 tweets
Sep 11
@Tek_la_iota @navinram999 @DomSchiener Yes, they are on our radar (you can search for SUI in my tweets) and they do indeed share a very large overlap with our design (separation of physical and logical dag, causally ordered state transitions and so on).

It's accordingly pretty solid research that is behind these ...
@Tek_la_iota @navinram999 @DomSchiener ... projects and their features will be close to what IOTA is building.

We are even considering to use their L1 SC VM (Move) as it is already optimized for the causally ordered paradigm.

IOTA will however outcompete these projects when it comes to decentralization and ...
@Tek_la_iota @navinram999 @DomSchiener ... settlement security because we can allow users to directly write to the ledger and therefore tap into social consensus to secure the DLT.

Other things like going stateless, built-in fraud proofs, "streaming knowledge" (to build a protocol that can not even be attacked by ...
Read 8 tweets
Aug 11
Since there has been a lot of discussions and confusion around my latest series of tweets () I feel like there are a few things that I need to clarify:

1. I feel committed to the community and the project and I will definitely not leave people hanging ...
... and pull a CfB before we are done.
2. I will accordingly not leave the IF, even if being done means implementing fees (but I would most probably leave directly after coordicide in that case and try to work on this different vision).
3. We are all still friends in the IF ...
... and I value each and every member in the IF. I have a deep respect for everybody in the research department and having different opinions should never be a reason to "cancel" people that disagree. Discussions are healthy (for the project) even if they are exhausting and ...
Read 9 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

Don't want to be a Premium member but still want to support us?

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

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us on Twitter!

:(