Worked on enhancing the Peras protocol within the input-output-hk/ouroboros-leios repository by formalizing the quorum threshold tau to address both safety and liveness requirements. Applied advanced cryptography and mathematics to define mathematical inequalities guiding tau selection, ensuring the protocol’s resilience against adversarial committee selection. Focused on protocol design and distributed consensus, the work included comprehensive documentation and design discussions to support future audits and deployments. Collaborated using Markdown and Git-based workflows, laying the groundwork for safer and more auditable protocol releases. No bug fixes were reported, with efforts concentrated on foundational feature development and robust protocol specification for Peras.