TY - RPRT TI - Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures AU - Gilde Valeria Rodríguez AU - Borzoo Bonakdarpour AU - Armando Castañeda AU - Sergio Rajsbaum PY - 2026 UR - https://arxiv.org/abs/2606.13954 ID - 2606.13954 ER -