Aggelos Kiayias

Led formal research and practical implementation of the Ouroboros family of consensus protocols that underpin Cardano's security and staking economics. Produced academic papers and protocol specifications (including Ouroboros Praos and Ouroboros Genesis) with explicit security proofs, epoch slotting, leader-election and reward distribution formulas, all of which determine how ADA is minted, secured and rewarded to stake participants. Defined deterministic reward schedules and stake aggregation rules used in mainnet releases; these concrete protocol formulas directly affect the supply dynamics available for trading, the velocity of ADA flows between staking and trading, and the effective cost of capital for leveraged positions. Derivative products that rebalance daily, like ADAUP, react to these underlying on‑chain mechanics when staking incentives change available free float. Worked closely with engineering teams to translate theoretical protocols into node software and released versions compatible with exchanges and wallet integrations, reducing integration risk for market infrastructure building derivative instruments. The implemented protocol behaviour shaped predictable epochs and reward timing which market participants utilized when designing rebalancing schedules and margin assumptions for leveraged tokens. Provided public documentation and academic testimony that has been used by market analysts and institutional counterparties to model ADA issuance and validator economics; these inputs fed into pricing models, risk limits and liquidity provisioning that directly affect how ADA‑referenced leveraged products are constructed and hedged in practice.