Aptos Labs announces collaboration with Tsinghua University's Software System Security Assurance Group Wingtecher Labs to develop a cutting-edge testing tool focused on consensus algorithm implementation. This tool combines automated testing, protocol state space exploration capabilities, and logical error detection functions, helping to establish a solid foundation for the stability and security of Aptos's next-generation consensus protocol Raptr. The project is expected to be completed by the second quarter of 2026 or earlier, with the first integration phase now live and experimental testing underway.