@yannvon@barnabemonnot@benjaminion_xyz I agree, right now DAG-based protocols are not mature enough: their advantage is that every message is an opportunity to broadcast a block, but it may make them too rigid to satisfy additional properties. I hope to explore this in the future!
@barnabemonnot@benjaminion_xyz Thanks for the link! It is interesting that Ethereum is choosing a direction diametrically opposed to that of protocols from state of the art academic research (DAG-based, e.g., Mahi-Mahi or Mysticeti)
@MaxResnick Also, what is the point in reaching the full consensus in each parallel instance? You don’t need that all processes decide in each instance, just that there is a unique block
@MaxResnick It seems fundamental to reference the previous leader in order to prevent the situation where another node committed the previous leader, and you commit the current leader while skipping the previous one
let's continue the technical insight posting today and i continue with something people still don't get: PoS or PoW (or DAGs) are NOT consensus protocols by themselves. they're _Sybil resistance mechanisms_ & block author selectors. it's this Sybil resistance mechanism combined with a chain selection rule (fork choice) that makes up a consensus mechanism. Ethereum currently runs _Gasper_: a consensus mechanism combining Casper FFG (finality gadget) with LMD-GHOST (fork choice rule), on top of PoS as the Sybil resistance mechanism & block author selector.
some good references:
- Casper: https://t.co/NnGFo5mcJb
- Gasper: https://t.co/awA6xREMd0
- https://t.co/PnSGHRiyfx
- https://t.co/qJfne7pPUL
@xmal@IMDEA_Software@RennesUniv I like the wording "adversarial yet wellformed updates", but spamming is definitely not a byzantine behavior (which is defined as an arbitrary deviation from the *protocol*, not semantics).
Also, adapting the difficulty from the causal past is not BFT.