Hypergraph Partitioning on GPU with Distinct Incident Hyperedges and Size Constraints

This collection of arXiv announcements contains multiple systems and ML infrastructure papers with tangible security implications. Most notable is Ark: a Bitcoin-compatible commit-chain that the authors formally define and prove secure but which had two attacks discovered against its testnet implementation; those issues were responsibly disclosed and fixes have been integrated into the mainnet implementation (raising financial risk and deployment/upgrade considerations). Other papers raise security-relevant concerns: ABC-DFL proposes a blockchain-backed, Byzantine-resilient decentralized feder