1. Y. Amoussou-Guenou , D. Pozzo , M. Potop-Butucaru , and S. Tucci-Piergiovanni . 2018. Correctness of tendermint-core blockchains . In 22nd International Conference on Principles of Distributed Systems (OPODIS 2018 ). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Y. Amoussou-Guenou, D. Pozzo, M. Potop-Butucaru, and S. Tucci-Piergiovanni. 2018. Correctness of tendermint-core blockchains. In 22nd International Conference on Principles of Distributed Systems (OPODIS 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
2. M. Ben-Or , B. Kelmer , and T. Rabin . 1994. Asynchronous secure computations with optimal resilience . In Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing . Los Angeles, California, USA, 183–192. M. Ben-Or, B. Kelmer, and T. Rabin. 1994. Asynchronous secure computations with optimal resilience. In Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing. Los Angeles, California, USA, 183–192.
3. A. Bessani , E. Alchieri , J. Sousa , A. Oliveira A., and F. Pedone . 2020. From byzantine replication to blockchain: Consensus is only the beginning . In 2020 50th Annual IEEE/IFIP International Conference on DSN. IEEE, 424–436 . A. Bessani, E. Alchieri, J. Sousa, A. Oliveira A., and F. Pedone. 2020. From byzantine replication to blockchain: Consensus is only the beginning. In 2020 50th Annual IEEE/IFIP International Conference on DSN. IEEE, 424–436.
4. R. Canetti and T. Rabin . 1993. Fast asynchronous Byzantine agreement with optimal resilience . In Proceedings of the twenty-fifth annual ACM symposium on Theory of computing . San Diego, CA, USA, 42–51. R. Canetti and T. Rabin. 1993. Fast asynchronous Byzantine agreement with optimal resilience. In Proceedings of the twenty-fifth annual ACM symposium on Theory of computing. San Diego, CA, USA, 42–51.
5. B. Dai , S. Jiang , M. Zhu , M. Lu , D. Li , and C. Li . 2020. Research and implementation of cross-chain transaction model based on improved hash-locking . In International Conference on Blockchain and Trustworthy Systems. Springer , Dali, China, 218–230. B. Dai, S. Jiang, M. Zhu, M. Lu, D. Li, and C. Li. 2020. Research and implementation of cross-chain transaction model based on improved hash-locking. In International Conference on Blockchain and Trustworthy Systems. Springer, Dali, China, 218–230.