StakeDag: Stake-based Consensus For Scalable Trustless Systems. - Quan Hoang Nguyen 001; André Cronje; Michael Kong; Alex Kampa; George Samman (CoRR, 2019)

StairDag: Cross-DAG Validation For Scalable BFT Consensus. - Quan Hoang Nguyen 001; Andre Cronje; Michael Kong; Alex Kampa; George Samman (CoRR, 2019)

Simple Soundness Proofs. - Alex Kampa (IACR Cryptol. ePrint Arch., 2024)