3 Commits

Author	SHA1	Message	Date
davidrusu	dcdb419648	Cryptarchia/drop orphan proofs (#121) ... * cryptarchia: introduce Hash class * cryptarchia: Coin renamed to Note * cryptarchia: simplify mock leader proof * cryptarchia: remove orphan proofs from block headers * cryptarchia: maintain a single commitment set in ledger state * cryptarchia: drop note evolution * cryptarchia: drop MOCK_LEADER_VRF * cryptarchia fix nonce contribution derivation * cryptarchia: mk_chain only returns list now * fixup * cryptarchia: shorten test cases using mk_chain	2025-03-21 20:49:04 +04:00
davidrusu	5c64a0bd11	Cryptarchia: rework specification (#116) ... * cryptarchia/ghost: prep for move to weight based fork choice * cryptarchia/ghost: remove common_prefix_len helper * cryptarchia/ghost: common_prefix_depth returns depth of both chains * cryptarchia/ghost: fix chain density calculation * cryptarchia/ghost: maxvalid_bg uses block ids rather than chains * cryptarchia/ghost: unimported_orphans returns orphans w.r.t. to tip * cryptarchia/ghost: remove redundant check * cryptarchia/ghost: rewrite unimported_orphan w/ common_prefix_depths * cryptarchia/ghost: validate_header w.r.t. block parent * cryptachia/ghost: rewrite on_block to remove dependency on Chain * cryptarchia/ghost: remove Chain abstraction * cryptarchia/ghost: remove local / fork naming in common_prefix_depth * cryptarchia/ghost: rewrite common_prefix_depth in terms of iter_chain * cryptarchia/ghost: impl GHOST fork choice rule * cryptarchia/ghost: integrate GHOST with maxvalid fork choice * cryptarchia: remove unused imports * cryptarchia: cleanup * cryptarchia: cleanup * cryptarchia: remove height from ledger state * cryptachia/ghost: update fork choice rule comments * cryptarchia: switch back to longest chain * cryptarchia: update tests * cryptarchia: remove debug log	2025-02-25 16:54:54 +04:00
davidrusu	d2f6ad579a	Stake Relativization Specification + Fixes (#86) ... * cryptarchia/relative-stake: failing test showing lack of inference * implement stake-relativization spec * test total stake inference in empty epoch * move TestNode to test_common * fix bug in Follower re-org logic * improve orphan proof test coverage * force orphans to already have been in one of the existing branches * rename initial_inferred_total_stake ==> initial_total_stake * add simple orphan import test * Follower.unimported_orphans: ensure no orphans from same branch * remove unnecessary LedgerState.slot * cryptarchia: doc fixes * factor out total stake inference * docs for total stake inference * rename total_stake to total_active_stake * replace prints in cryptarchia with logging.logger	2024-03-23 05:50:00 +04:00