scalability 2 Bullshark: Making DAG-based BFT Protocols Practical Dec 31, 2025 Vryx: Fortifying Decoupled State Machine Replication Dec 31, 2025