Aggelos Kiayias

As the principal researcher behind Cardano's consensus family, contributions included formal protocol specifications, proofs of security and parameter choices that govern slot behavior, epoch rewards and stake delegation mechanics. Those technical specifications determined on‑chain issuance rates and reward distribution, which in turn shape circulating supply trends and staking incentives for ADA holders. Changes to these parameters are material for the valuation of ADA and thereby affect derivative products like ADAUP that reference the token. Research outputs and protocol proposals authored and shepherded through the engineering process led to concrete software releases and configuration defaults that exchanges and risk teams used when modelling hedging costs for ADA‑linked leveraged tokens. The formal security properties and performance targets in these papers influenced how market participants assessed counterparty and network risk when providing liquidity for ADAUP. Participation in peer review, standardisation and testnet experiments provided quantifiable metrics for block finality, throughput and fork recovery behaviour; those metrics informed exchange decisions about custody, settlement windows and the timing of support during network upgrades. That operational information affected how ADAUP creation and redemption mechanics were implemented and monitored by providers. Ongoing protocol research and proposed improvements to ledger rules continued to change expectations about future supply dynamics and staking yield prospects, impacting volatility forecasts and funding assumptions used by market makers and exchanges supporting ADAUP.