{"id":"alex-hicks","title":"Alex Hicks","content":"**Alexander Hicks** is a British researcher, computer scientist, and entrepreneur specializing in formal verification, mechanism design, and the economic security of [blockchain](https://iq.wiki/wiki/blockchain) protocols. He is a researcher at the [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef), where his work focuses on securing the [Ethereum](https://iq.wiki/wiki/ethereum) ecosystem's core infrastructure. His research contributions span the formal verification of Zero-Knowledge Virtual Machines (zk-EVMs), the game-theoretic analysis of transaction fee mechanisms, and the design of transparency-enhancing technologies. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd) [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4) [\\[3\\]](#cite-id-9Bgiigka8DQQNdwl)​\n\n## Education\n\nHicks holds multiple advanced degrees in physics, mathematics, and computer science. He earned a Bachelor of Science in Theoretical Physics from Queen Mary University of London. Following his undergraduate studies, he attended the University of Cambridge, where he obtained a Master of Advanced Study (MASt) in Mathematics from the Mathematical Tripos program. It was during his time at Cambridge that he developed an early interest in formal methods, spending a summer working on the formal verification of mathematics using the Isabelle proof assistant. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd) [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4)​\n\nIn 2023, Hicks completed a Ph.D. in Information Security from the information security research group at University College London (UCL). His doctoral research was supported by the Ripple University Blockchain Research Initiative (UBRI). His thesis, titled \"Design and Usage of Transparency Enhancing Technologies,\" was supervised by Steven Murdoch and explored the application of technologies based on cryptographic logs to improve the transparency and auditability of complex systems. The research focused on how such systems could be used in contexts like cryptocurrencies and certificate authorities. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd) [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4)​\n\n## Career\n\nHicks's career has been situated at the intersection of academia and the blockchain industry. [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4) He completed a Researcher internship at OneSpan in Cambridge from July to October 2019. He then worked as a Research Assistant in UCL’s Department of Security and Crime Science from April to July 2020, and served as a Teaching Assistant at University College London (UCL) from January 2017 to September 2021 in the Department of Computer Science, teaching undergraduate and postgraduate modules and supervising MSc projects. He joined [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef) in June 2024 as a researcher, and since June 2025 he has served as Team Lead for protocol snarkification. [\\[3\\]](#cite-id-9Bgiigka8DQQNdwl) [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4)​\n\n## Research and Contributions\n\nHicks's research aims to enhance the security and integrity of decentralized systems through three primary lenses: formal verification, game-theoretic economic analysis, and transparency.\n\n### Formal Verification of zk-EVMs\n\nAt the [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef), Hicks leads the **Verified-zkEVM project**, a major initiative to apply formal verification to Zero-Knowledge Virtual Machines. The project's central objective is to create a complete, machine-checked formal specification of a zk-EVM and to prove that its implementation correctly adheres to that specification. Zk-EVMs are virtual machines that can generate cryptographic proofs of their own execution, forming the technological backbone of ZK-Rollups, which are a primary solution for scaling the [Ethereum](https://iq.wiki/wiki/ethereum) network. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd) [\\[3\\]](#cite-id-9Bgiigka8DQQNdwl)​\n\nThe significance of this work lies in providing the highest possible level of security assurance for what is considered a critical piece of next-generation infrastructure for [Ethereum](https://iq.wiki/wiki/ethereum). As Layer 2 solutions handle billions of dollars in assets, a single bug in a zk-EVM's core logic could lead to catastrophic financial losses. Formal verification uses mathematical methods to eliminate entire classes of bugs and vulnerabilities, ensuring the system behaves exactly as intended. [\\[4\\]](#cite-id-vy31iZ8yLyNo0mRW)​\n\n### Transparency-Enhancing Technologies\n\nA core theme of Hicks's Ph.D. research was the use of log-based transparency-enhancing technologies (TETs). He co-authored a proposal for a system named **VAMS (Verifiable Auditing of Access to Confidential Data)**. VAMS is designed to allow publicly verifiable audits of how sensitive data, such as medical or law enforcement records, is accessed, without compromising the privacy of the individuals in the dataset. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)​\n\nThe system functions by recording every access request to a confidential database in a cryptographic log, which can be built using a Merkle tree or a blockchain. This creates an immutable, tamper-evident record of all queries. Auditors can then process this log to generate and publish aggregate statistics about data access patterns. The key innovation is that these published statistics can be publicly and mathematically verified for correctness against the cryptographic log, all while preserving the confidentiality of the specific records that were accessed. Hicks has argued that such transparency mechanisms are crucial not just for verifying compliance but also for enabling public contestability of a system's rules and for resolving disputes fairly. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)​\n\n### Decentralized Systems and Game Theory\n\nHicks has published significant research analyzing the economic incentives and security models of blockchain protocols. His work often uses game theory to identify potential weaknesses or unintended consequences in protocol design.\n\nOne notable paper, co-authored in 2023 with Sarah Azouvi, Guy Goren, and Lioba Heimbach, analyzed Ethereum's EIP-1559 transaction fee mechanism. They demonstrated that, under certain conditions, it could be a rational, profit-maximizing strategy for miners to intentionally mine empty blocks. This action withholds transactions from being included, which in turn causes the `base fee` in subsequent blocks to rise, potentially increasing the miners' future revenue from transaction fees. This research highlighted a subtle vulnerability in the incentive structure of one of Ethereum's most important economic updates. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)​\n\nIn a 2018 paper co-authored with Patrick McCorry and Sarah Meiklejohn, Hicks explored cross-chain incentive manipulation. The research showed how to construct trustless smart contracts to bribe miners. For instance, a contract on [Ethereum](https://iq.wiki/wiki/ethereum) could be programmed to automatically pay a bribe to [Bitcoin](https://iq.wiki/wiki/bitcoin) miners if they execute a specific action on the [Bitcoin](https://iq.wiki/wiki/bitcoin) network, such as orphaning a particular block. This demonstrated that the economic security models of different blockchains are not isolated and that incentives on one chain can be used to influence behavior on another. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)​\n\nFurther research with Sarah Azouvi examined the reliability of decentralization itself. Using game-theoretic models, they showed that while increasing the decentralization of a system is difficult, it can be reliably maintained over time, particularly when \"decentralization conscious players\" and long-term incentives are factored into the system's design. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)​\n\n## Selected Publications\n\n* Hicks, A. (2023). \"Design and Usage of Transparency Enhancing Technologies.\" *PhD Thesis, University College London*. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)\n* Azouvi, S., Goren, G., Heimbach, L., & Hicks, A. (2023). \"[Base](https://iq.wiki/wiki/base) Fee Manipulation In Ethereum's EIP-1559 Transaction Fee Mechanism.\" *International Symposium on Distributed Computing*. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)\n* Azouvi, S., & Hicks, A. (2022). \"Decentralisation Conscious Players and System Reliability.\" *Financial Cryptography and Data Security*. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)\n* Hicks, A., et al. (2022). \"Cerberus: A Formal Approach to Re-engineering Certificate Transparency.\" *IEEE Symposium on Security and Privacy (S\\&P)*. [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4)\n* Hicks, A., et al. (2022). \"SoK: Transparent Dishonesty.\" *ACM Conference on Advances in Financial Technologies (AFT)*. [\\[2\\]](#cite-id-JzKTdtradJAn4Yo4)\n* Hicks, A., Mavroudis, V., Al-Bassam, M., Meiklejohn, S., & Murdoch, S. J. (2018). \"VAMS: Verifiable Auditing of Access to Confidential Data.\" *arXiv:1805.04772*. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)\n* McCorry, P., Hicks, A., & Meiklejohn, S. (2018). \"Smart Contracts for Bribing Miners.\" *Financial Cryptography and Data Security: FC 2018 International Workshops*. [\\[1\\]](#cite-id-2DUQ7Qupc673NuOd)","summary":"Alex Hicks is a researcher at the Ethereum Foundation focused on the formal verification of zk-EVMs. ","images":[{"id":"QmNvyNugh1moU1LEo8RJNyGXwnbqNaxp2WH5pvjReDqYZp","type":"image/jpeg, image/png"}],"categories":[{"id":"people","title":"People in crypto"}],"tags":[{"id":"Founders"},{"id":"Developers"},{"id":"PeopleInDeFi"}],"media":[],"metadata":[{"id":"references","value":"[\n  {\n    \"id\": \"2DUQ7Qupc673NuOd\",\n    \"url\": \"https://alexanderlhicks.com/\",\n    \"description\": \"Personal website of Alexander Hicks\",\n    \"timestamp\": 1769365091226\n  },\n  {\n    \"id\": \"JzKTdtradJAn4Yo4\",\n    \"url\": \"https://securefi.io/speakers/alexander-hicks\",\n    \"description\": \"Alexander Hicks speaker bio at SecureFi\",\n    \"timestamp\": 1769365091226\n  },\n  {\n    \"id\": \"9Bgiigka8DQQNdwl\",\n    \"url\": \"https://x.com/alexanderlhicks\",\n    \"description\": \"Official X profile for Alexander Hicks\",\n    \"timestamp\": 1769365091226\n  },\n  {\n    \"id\": \"vy31iZ8yLyNo0mRW\",\n    \"url\": \"https://medium.com/veridise/ethereums-zkevm-formal-verification-project-securing-the-ethereum-l1-transition-to-zkvms-with-0abcd346651e\",\n    \"description\": \"Founding of Veridise and zkEVM collaboration details\",\n    \"timestamp\": 1769365091226\n  }\n]"},{"id":"website","value":"https://alexanderlhicks.com/"},{"id":"twitter_profile","value":"https://x.com/alexanderlhicks"},{"id":"linkedin_profile","value":"https://www.linkedin.com/in/alexanderlhicks/"},{"id":"previous_cid","value":"\"https://ipfs.everipedia.org/ipfs/QmUmAKWjBB2vzAEahs9pe6ByMFptjNXFtdUjk4R3mjEKGU\""},{"id":"commit-message","value":"\"Updated content and category title\""},{"id":"previous_cid","value":"QmUmAKWjBB2vzAEahs9pe6ByMFptjNXFtdUjk4R3mjEKGU"}],"events":[{"id":"33e8628d-0fee-45d3-8a24-5dea99af96c5","date":"2018-09","title":"Obtained MASt in Mathematics","type":"DEFAULT","description":"Hicks obtained a Master of Advanced Study in Mathematics from the University of Cambridge.","link":"https://securefi.io/speakers/alexander-hicks","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null,"action":"DELETE"},{"id":"a2b2571f-39e1-48db-a1f5-e7cb08c91f56","date":"2022-05","title":"Co-founded Veridise Inc.","type":"DEFAULT","description":"Hicks co-founded Veridise, a company specializing in blockchain security and formal verification, and served as its CEO.","link":"https://medium.com/veridise/ethereums-zkevm-formal-verification-project-securing-the-ethereum-l1-transition-to-zkvms-with-0abcd346651e","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null,"action":"DELETE"},{"id":"85f4d7d7-914b-4ad0-a2cf-6de74f8a0780","date":"2023-01","title":"Earned Ph.D. in Information Security","type":"DEFAULT","description":"Hicks earned his Ph.D. from the information security research group at University College London with a thesis titled 'Design and Usage of Transparency Enhancing Technologies'.","link":"https://alexanderlhicks.com/","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null,"action":"DELETE"},{"id":"532cf0e1-ad8a-42ca-ace9-383a6ab1d1f6","date":"2024-06","title":"Joined the Ethereum Foundation","type":"DEFAULT","description":"Hicks joined the Ethereum Foundation as a researcher focusing on formal verification and AI, leading efforts on the zkEVM formal verification project.","link":"https://x.com/alexanderlhicks/status/1805230584444985655","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null,"action":"DELETE"}],"user":{"id":"0x8af7a19a26d8fbc48defb35aefb15ec8c407f889"},"author":{"id":"0x8AF7a19a26d8FBC48dEfB35AEfb15Ec8c407f889"},"operator":{"id":"0x1E23b34d3106F0C1c74D17f2Cd0F65cdb039b138"},"language":"en","version":1,"linkedWikis":{"blockchains":[],"founders":[],"speakers":[]},"recentActivity":"{\"items\":[{\"id\":\"7bda834c-2bcd-4524-9da9-a9f883b57a4e\",\"title\":\"Alex Hicks\",\"description\":\"Alex Hicks is a researcher at the Ethereum Foundation focused on the formal verification of zk-EVMs. \",\"timestamp\":\"2026-01-27T17:39:28.827Z\",\"category\":\"People in crypto\",\"status\":{\"icon\":\"RiGlobalLine\",\"label\":\"Wiki Updated\",\"iconClassName\":\"text-green-500\"},\"user\":{\"name\":\"0x8AF7a19a26d8FBC48dEfB35AEfb15Ec8c407f889\",\"address\":\"0x1E23b34d3106F0C1c74D17f2Cd0F65cdb039b138\"},\"button\":{\"label\":\"View Summary\",\"icon\":\"RiFileTextLine\"},\"summarySections\":[{\"title\":\"Title\",\"subtitle\":\"The wiki's title was updated.\",\"variant\":\"modified\",\"changeCount\":1,\"changes\":[\"Changed title from \\\"people\\\" to \\\"People in crypto\\\".\"]},{\"title\":\"Summary\",\"subtitle\":\"The summary text was shortened.\",\"variant\":\"modified\",\"changeCount\":1,\"changes\":[\"Removed details about his Ph.D. from University College London and his role as a co-founder of Veridise.\"]},{\"title\":\"Career\",\"subtitle\":\"The \\\"Career\\\" section was rewritten to reflect an updated professional history.\",\"variant\":\"modified\",\"changeCount\":1,\"changes\":[\"Updated career history to include an internship at OneSpan, academic roles at UCL, and a new position as Team Lead for protocol snarkification at the Ethereum Foundation, while removing previous roles at Protocol Labs and as CEO of Veridise. [[2]](#cite-id-JzKTdtradJAn4Yo4) [[3]](#cite-id-9Bgiigka8DQQNdwl)\"]},{\"title\":\"Formal Verification of zk-EVMs\",\"subtitle\":\"Details about community engagement and project backing were removed.\",\"variant\":\"modified\",\"changeCount\":1,\"changes\":[\"Removed a paragraph about the project's grant program, community events, and financial backing from the Ethereum Foundation.\"]},{\"title\":\"Events\",\"subtitle\":\"All four events from the timeline were removed.\",\"variant\":\"removed\",\"changeCount\":4,\"changes\":[\"Removed event: 'Obtained MASt in Mathematics' (Date: 2018-09)\",\"Removed event: 'Co-founded Veridise Inc.' (Date: 2022-05)\",\"Removed event: 'Earned Ph.D. in Information Security' (Date: 2023-01)\",\"Removed event: 'Joined the Ethereum Foundation' (Date: 2024-06)\"]},{\"title\":\"Metadata\",\"subtitle\":\"A metadata field was removed.\",\"variant\":\"removed\",\"changeCount\":1,\"changes\":[\"Removed the 'speakers' metadata field.\"]},{\"title\":\"Metadata\",\"subtitle\":\"A metadata field was added.\",\"variant\":\"added\",\"changeCount\":1,\"changes\":[\"Added the 'wiki-score' metadata field with a value of '78'.\"]}]}]}"}