<?xml version="1.0" encoding="UTF-8"?><ns2:project xmlns:ns1="http://gtr.rcuk.ac.uk/gtr/api" xmlns:ns2="http://gtr.rcuk.ac.uk/gtr/api/project" xmlns:ns3="http://gtr.rcuk.ac.uk/gtr/api/fund" xmlns:ns4="http://gtr.rcuk.ac.uk/gtr/api/person" xmlns:ns5="http://gtr.rcuk.ac.uk/gtr/api/project/outcome" xmlns:ns6="http://gtr.rcuk.ac.uk/gtr/api/organisation" ns1:created="2026-06-03T15:52:43Z" ns1:href="http://gtr.ukri.org/gtr/api/projects/044FF6AB-8D89-4744-8F91-9268DE753749" ns1:id="044FF6AB-8D89-4744-8F91-9268DE753749"><ns1:links><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/persons/5E66BC1A-0D46-40DD-A581-47D2F9771E2A" ns1:rel="PM_PER"/><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/organisations/87E66FA8-E664-4076-9773-15536DB066DF" ns1:rel="LEAD_ORG"/><ns1:link ns1:href="http://gtr.ukri.org/gtr/api/organisations/87E66FA8-E664-4076-9773-15536DB066DF" ns1:rel="PARTICIPANT_ORG"/><ns1:link ns1:end="2025-02-28T00:00:00Z" ns1:href="http://gtr.ukri.org/gtr/api/funds/BDB7C4C4-DEDD-43DC-B82F-9ADBE3E6BEF6" ns1:rel="FUND" ns1:start="2024-08-31T23:00:00Z"/></ns1:links><ns2:identifiers><ns2:identifier ns2:type="RCUK">10140441</ns2:identifier></ns2:identifiers><ns2:title>Continuous smart contract security resilience</ns2:title><ns2:status>Closed</ns2:status><ns2:grantCategory>Collaborative R&amp;D</ns2:grantCategory><ns2:leadFunder>Innovate UK</ns2:leadFunder><ns2:abstractText>Blockchain is a booming technology. With a CAGR of 85% over the next seven years, it has become too big an asset to ignore. It's poised to power governments, central banks, payment systems, hospitals, supply chains and much more. Its global market capitalization will reach $400 billion by the end of 2024, with major institutions such as Blackrock adding crypto-assets to their portfolios in the form of Bitcoin/Ethereum ETH or the Bank of England beginning phase 2 of research into CBDC for cross-border payments. What used to be called private source code, are now smart contracts that live on the blockchain and enable these new use cases. With this rapid growth comes a new set of risks, and with money being the primary motivation for adversaries, it's no surprise that hacker interest has grown. Smart contracts, like any other software, are subject to attacks, and in 2023, $3 billion was hacked by exploiting smart contract vulnerabilities despite 92% of them having gone through a security audit. The success of these attacks is largely driven by the lack of blockchain security talent in this highly complex field, the lack of solutions capable of adapting to the changing threat landscape, the reliance on expensive third-party security assessments and the lack of accuracy of current tools which are unable to identify advanced vulnerabilities. To solve this problem, Lucas drew on his doctoral research at UCL, where he laid the foundations for an automated AI-based smart contract vulnerability detection and exploit generation tool. This research formed the basis of the proposed PoC, which will enable any blockchain-based protocol to ensure the ongoing security of their post-deployment smart contracts against Zero-knowledge proof implementation vulnerabilities, solving the lack of accuracy, automation and scalability of existing solutions with the latest AI models. Deployed as SaaS, it will provide blockchain developers with a collaborative environment for patching vulnerabilities, regardless of their security experience, solving one of the cybersecurity industry's biggest problems: the shortage of expert talent.</ns2:abstractText></ns2:project>