Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting πŸ“„.pdf #readings
A TLA+ Formal Proof of a Cross-Chain Swap https://dl.acm.org/doi/10.1145/3491003.3491006?utm_source=chatgpt.com
Codecov has started to terrorise with this new feature! image
@primal Hey guys, the link preview thing always breaks for me. Both on firefox and chrome. Hope the screenshot helps. LMK, if you need more info. image
P2Pool progress update: We have our node talking to CKPool to receive work blocks and shares found by miners. A detailed blog post is here:
Kulpreet’s Blog
Using CKPool for P2Pool
Building P2Poolv2 is made possible with over a decade of work that has gone into the Bitcoin ecosystem. The obvious tools to use are the rust libra...