We are thrilled to denote the 39 grantees selected for the caller Academic Grants Round. This grants circular invited researchers, think-tanks, Ph.D. students, and each those funny successful advancing cognition astir the Ethereum ecosystem to taxable world proposals.
Thank you to each those who submitted proposals, and congratulations to each the grantees. We are pleased with the fig of prime applications that we received, which surpassed our archetypal expectations. Given the bonzer imaginable of galore task proposals, we person much than doubled the archetypal fund from 750,000to750,000 to 750,000to2 million.
The granted projects alteration broadly successful scope and geographic practice with probe teams from Australia, Canada, China, Costa Rica, Germany, Greece, Hungary, Nepal, Pakistan, Romania, Singapore, South Korea, Spain, Switzerland, The Netherlands, the United Kingdom the United States and Vietnam.
We look guardant to the results from the galore world projects supported successful this round! If you missed this circular and are researching thing successful this space, see submitting a task enquiry to the Ecosystem Support Program.
More than $2 cardinal has been allocated crossed 39 grants successful 7 antithetic categories:
Category# of projectsamount (USD)
Economics | 9 | $222,067.00 |
Consensus Layer | 9 | $483,477.81 |
P2P Networking | 5 | $386,592.00 |
Maximum Extractable Value | 5 | $351,659.00 |
Formal Verification | 4 | $283,165.51 |
Cryptography and zero cognition proofs | 2 | $120,000.00 |
Other domains | 5 | $194,807.00 |
Economics
ProjectResearch TeamInstitutionDescription
Analysis of the Dynamic Interplay betwixt Ethereum and Ethereum Rollups: Transaction Fees and Demand Trends | Aysajan Eziz; Guneet Kaur Nagpal | Independent | To probe the dynamic interplay of transaction fees and request trends betwixt basal furniture and furniture 2 rollups. |
Equilibrium staking rewards: Implications for POS blockchain security | Prof Talis Putnins; Tra Nguyen, Ph.D. candidate; Lecky Lao, Ph.D. candidate | Independent | To probe and suggest economical modeling of “opportunity costs of capital”, the dynamics of however superior flows betwixt staking opportunities, and what that implies for the information of Ethereum (and different POS blockchains) arsenic it transitions to POS and the optimal plan of the staking inducement mechanisms. |
Monetary Policy successful the Age of Cryptocurrencies | Prof. Thai Nguyen; Prof. Tra Pham; Dr. Binh Nguyen Thanh; Dr. Linh Nguyen Thi My; Dr. Tuan Chu; Dr. Seng Kok; Dr. Phong Nguyen | RMIT Vietnam | To shed airy connected the imaginable economical improvement of countries erstwhile cryptocurrencies are utilized arsenic ineligible tender, peculiarly successful airy of the information that the cardinal banks would suffer astir of the monetary argumentation tools. |
Time bid investigation for transaction interest market | Huisu Jang YunYoung Lee, Ph.D; Seongwan Park, Ph.D; Seungju Lee Woojin Jeong; Advisor: Jaewook Lee | Soongsil University and Seoul National University | To execute a clip bid investigation of the Ethereum state interest marketplace aft the instauration of EIP-1559. |
The Influence of Transaction Costs connected Economic Activity connected the Ethereum Network | Dr. Lennart Ante | Blockchain Research Lab gGmbH | To analyse the grade to which transaction costs interrelate with antithetic economical activities connected the Ethereum network. |
The Market for Music Non-Fungible Tokens (NFTs): Price, Volume, and Risk | Danling Jiang, Ph.D.Keli Xiao, Ph.D. Lolita Nazarov, B.S Haixiang (Diego) Zhu, MS | Stony Brook Foundation | To recognize the marketplace for the euphony contented non-fungible tokens (music NFTs) and the determinants of price, volume, and hazard dynamics of specified NFTs traded connected OpenSea, powered by the Ethereum blockchain. |
The Microeconomic Foundation of DAO | David Yang, Ph.D | Independent | To recognize the economical conditions that warrant the emergence of a DAO operation successful governing assemblage decisions. |
Towards scalable inducement machines: attributing worth to idiosyncratic agents successful multi-player games | Tal Kachman | Donders Institute of Brain and Cognition | To span coalitional crippled mentation with the approximation powerfulness of heavy learning to conception payoff machines: large-scale estimators susceptible of measuring each agent's publication to a multi-agent strategy according to antithetic underlying principles. |
Understanding Waiting Time successful Transaction Fee Mechanisms | Prof Luyao Zhang, Ph.D; Prof Fan Zhang, Ph.D.; Research Fellow: Tianyu Wu | Independent | To systematically survey and past make a applicable argumentation that tin further trim the users’ waiting clip successful Ethereum TFM. |
Consensus Layer
ProjectResearch TeamInstitutionDescription
(Danksharding + PBS) Builder centralization: Is it truly safe? | Huisu Jang; YunYoung Lee, Ph.D candidate; Seongwan Park; Seungju Lee; Woojin Jeong; Advisor: Jaewook Lee | Statistical Learning & Computational Finance Lab, Seoul National University | To research 2 imaginable risks of centralizing artifact accumulation successful PBS and suggest due modifications to the existent PBS strategy to guarantee information against the suggested risks. |
Amplification Messaging for Short-Term Slot Finality and Improved Reorg-Tolerance | Hammurabi Mendes, Ph.D.; Jonad Pulaj, Ph.D. | Davidson College | To formalize and measure comparatively unobtrusive changes successful GASPER for shorter-term finality and decreased likelihood of reorgs. |
Analyzing and Securing Ethereum PoS successful the Fully Asynchronous Network | Dr. Qiang Tang; Zhenliang Lu, Ph.D.; Dr. Yuan Lu | The University of Sydney | To survey the information of Ethereum PoS successful the afloat asynchronous network, successful which determination is nary guaranteed transportation time, and to marque plan suggestions connected however to marque Ethereum PoS much unafraid successful an asynchronous network. |
Combining Accountability and Game Theory to Strengthen Blockchain Security | Prof. Vincent Gramoli | The University of Sydney | To plan caller algorithms that we volition instrumentality and measure successful a large-scale distributed situation to show that blockchains tin beryllium made much unafraid with a applicable operation of accountability and crippled theory. |
Disentangling Transaction Privacy and Consensus successful Ethereum | Prof. Kartik Nayak; Prof. Fan Zhang | Duke University | To survey the dilemma betwixt desirable properties specified arsenic (pre and failed trade) transaction privateness and the properties of the underlying statement mechanics provided by Ethereum. |
Improving Ethereum Communication Efficiency done Accountability and Flexible Quorums | Prof. Kartik Nayak | Duke University | To analyse 2 imaginable avenues to inactive get the aforesaid desirable information guarantees portion improving efficiency. Firstly, utilizing smaller quorums with accountability to get a much connection businesslike protocol; and secondly utilizing flexible quorums to get stronger information guarantees (of up to ⅔ fraction rational corrupt validators). |
PoS Ethereum Agent-Based Model | Prof. Claudio J. Tessone; Nicolò Vallarano, Ph.D. | University of Zurich | To supply an abstract Agent Based Model to simulate Ethereum Proof-Of-Stake consensus. |
REVOKE: Consensus-layer mitigations for validator ransomware attacks | Dr. Dan O'Keeffe; Dr. Darren Hurley-Smith; Alpesh Bhudia, Ph.D. candidate | Royal Holloway University of London | To research statement protocol adaptations to mitigate the risks of ransomware attacks connected Ethereum 2.0 validators. It volition purpose to plan a caller revocation mechanics that volition let validators to amended their operational information by rapidly changing their signing cardinal without having to retreat their stake. |
Staking Mechanism Design: Ethereum 2.0 for Good | Prof. Luyao Zhang, Ph.D.; Dr. Yulin Liu; Research Fellows: Xinyu Tian; Tianyu Xin; Zesen Zhuang | SciEcon CIC | To analyse the interaction of the Ethereum 2.0 upgrades, chiefly including its argumentation upgrade and the power from impervious of enactment to impervious of stake, connected its wide security, grade of decentralization, and scalability. |
P2P Networking
ProjectResearch TeamInstitutionDescription
Coded Transaction Broadcasting for High-throughput Blockchains | Prof. Mohammad Alizadeh; Lei Yang, Ph.D. student | Massachusetts Institute of Technology (MIT) | To plan and physique a caller strategy for broadcasting caller pending transactions successful a blockchain network, with the extremity to trim the bandwidth usage and the latency to propagate transactions. |
DoS-secure transaction propagation connected Ethereum: Exploit procreation and onslaught detection | Prof. Yuzhe Tang; Kai Li, Ph.D. student; Jiaqi Chen, Ph.D. student; Yibo Wang, Ph.D. student; Jack Willis; Nicholas P. Sweet; Mingyan Zhang | Syracuse University | To probe and physique an automated exploit generator to systematically measure the security/insecurity of existent and aboriginal Ethereum clients nether the low-cost DoS attacks arsenic good arsenic physique DoS-secure mempool and transaction propagation protocols. Particularly, we volition contiguous a two-buffer mempool mechanics to enactment antithetic transaction admittance priorities. |
Eclipse and DoS-Resilient Overlays for High-Performance Block Dissemination | Prof. Spyros Voulgaris; Evangelos Kolyvas, Ph.D.; Alexandros Antonov, Ph.D. | Athens University of Economics and Business | To design, implement, and measure a afloat decentralized, self-organizing, self-healing, assets conservative, and dependable dissemination mechanics that delivers messages faster than is presently planned to beryllium employed, portion guaranteeing precocious reliability adjacent successful the lawsuit of failures oregon precocious node churn; and to shield our projected protocol from Eclipse and DoS attacks, specified that it becomes excessively hard for an attacker to obstruct connection dissemination. |
Privacy-enhanced and businesslike P2P routing algorithms for the Ethereum network | István András Seres, Ph.D. student; Domokos Kelen, Ph.D. student; Ferenc Béres, Ph.D. student; András A. Benczúr, Ph.D | Independent | To design, instrumentality and measure a privacy-enhanced routing algorithm for the Ethereum web that provably outperforms state-of-the-art proposals. |
Tikuna: an Ethereum blockchain web information monitoring system | Dr. Andres Gomez Ramirez, Ph.D.; Loui Al Sardy, Ph.D. candidate | Sistemas Edenia Internacional | To physique a proof-of-concept P2P web information monitoring strategy for the Ethereum blockchain for aboriginal detection of applicable incidents. |
ProjectResearch TeamInstitutionDescription
Battle of the Bots: Miner Extractable Value and Efficient Settlement | Prof. Alfred Lehar; Prof. Christine Parlou | University of Calgary | To analyse however MEV and backstage transactions alteration blockchain economics, and interaction socially desirable arbitrage specified arsenic indebtedness liquidations and the alignment of DEX prices. |
Catching the ephemeral: Understanding blockchains done mempool data | Prof. Fan Zhang; Prof. Kartik Nayak | Yale University | To empirically survey captious aspects of the Ethereum blockchain specified arsenic the interest markets and ordering fairness, by utilizing mempool data. |
M2EV: Multi-block MEV games | Bruno Mazorra, Ph.D. student; Prof. Vanesa Daza | Pompeu Fabra University | To formalize the Reorg MEV crippled done a crippled theoretical position and recognize the antagonistic externalities induced by rational validators. |
Mechanism Design and Empirical Analysis of MEV Prevention Mechanisms | Prof. Agostino Capponi | Columbia University | To survey the plan of Maximum Extractable Value (MEV) prevention mechanisms, specified arsenic relay and sequencing service, make an econometric investigation of MEV prevention mechanisms, and quantify their interaction connected state fees and worth of ecosystem participants. |
Optimal Design of Miner Extractable Value Auctions | Dr Peyman Khezr; Dr Vijay Mohan | Royal Melbourne Institute of Technology (RMIT University) | To analyse the optimal plan of auctions that, first, allocate the artifact abstraction to imaginable transactions, and second, supply an businesslike transaction ordering successful a Miner Extractable Value Auction (MEVA). |
ProjectResearch TeamInstitutionDescription
Bounded Model Checking for Verifying and Testing Ethereum Consensus Specifications | Dr. Youcheng Sun; Dr. Lucas C. Cordeiro | University of Manchester | To verify and trial Ethereum statement specifications, i.e., the Python notation implementation, by applying Bounded Model Checking (BMC). |
Formally verified Ethereum 2.0 Beacon Chain | Hamra Afzaal; Muhammad Umar Janjua; Muhammad Imran | Information Technology University of the Punjab | To find and close bugs successful the Beacon Chain utilizing exemplary checking technique. |
FORVES (FORmally VErified artifact optimizationS) | Prof. Elvira Albert; Prof. Samir Genaim; Prof. Enrique Martin-Martin | University Complutense of Madrid | To make a afloat automated and formally verified tool, successful Coq, that is capable to verify the semantic equivalence of 2 loop-free fragments of EVM code. |
Trustworthy Formal Verification for Ethereum Smart Contracts via Machine-Checkable Proof Certificates | Prof. Grigore Rosu; Xiaohong Chenm, Ph.D. student | University of Illinois Urbana-Champaign | To survey trustworthy ceremonial verification for astute contracts via machine-checkable impervious certificates. |
Cryptography and zero cognition proofs
ProjectResearch TeamInstitutionDescription
Efficient Private Information Retrieval for Ethereum Light Clients | Prof. Xun Yi; Prof. Son Hoang Dau; Nhat Quang Cao, Ph.D. student; Prof. Chen Feng | Independent | To make cryptographic solutions that let Ethereum airy clients to execute information acquisition successful a mode that is not lone businesslike but besides private. |
ZK-SNARKs arsenic a Service | Prof. Abhishek Jain | Johns Hopkins University | To plan unafraid protocols that tin beryllium executed by a radical of servers to jointly compute ZK-SNARG proofs. |
Other domains
ProjectResearch TeamInstitutionDescription
Cross concatenation authenticated queries | Dr. Damiano Di Francesco Maesa | University of Pisa & University of Cambridge | To survey however it is imaginable to adopt, and adapt, authenticated query protocols for blockchains to let for transverse concatenation connection betwixt antithetic Ethereum broadside chains (and the main net). |
Feasibility Study of Pipelining successful Ethereum Virtual Machine Architecture | Gopal Ojha | Independent | To probe and make for optimization of Ethereum web by expanding transaction throughput successful the EVM. |
Governance Based On Preferences, Incentives, and Information | Prof. Bo Waggoner | University of Colorado, Boulder | To analyse governance methods of making corporate decisions arsenic a group. |
Rollups arsenic Subsidiary Political Units – A Diversity of Layer 2 Networks Subject to Layer 1’s Constitutional Authority | Eric Alston; Prof. Bo Waggoner | University of Colorado, Boulder | To probe the ways successful which networks subsidiary to a fixed superior blockchain web stock features with subsidiary governmental units successful nationalist law orders. |
S-CCSC: Security of Cross-chain Smart Contract | Prof. Yang Xiang; Dr. Ziyuan Wang; Dr. Lin Yang; Dr. Sheng Wen; Dr. Donghai Liu | Swinburne University of Technology | To safeguard cross-chain astute contracts by investigating existing oregon imaginable information risks and corresponding solutions of cross-chain astute contracts. |
We're excited to travel these probe teams and spot the wide interaction they person successful expanding world cognition passim the Ethereum ecosystem!
The diverseness and prime of this circular of grants reflects the involvement of Academia successful catalyzing our shared cognition successful helping lick large problems and advancing the Ethereum ecosystem.