Terminé una auditoría de Move en Sui con @CertoraInc Es gratificante revisar un proyecto y semanas después un componente adicional del mismo proyecto Es como ver crecer a un niño, siguiendo y apoyando su viaje También fue mi primera colaboración con @iamandreiski y esto éramos literalmente nosotros: