Lumen Loop
All news
Articleequitx.substack.comEquitX6mo ago

EquitX Partners with Runtime Verification for Mainnet Security Audit

EquitX partners with Runtime Verification for a comprehensive security audit of its v1 core contracts ahead of its December mainnet launch on Stellar. The audit, supported by the Stellar Development Foundation's Soroban Audit Bank, ensures the protocol's synthetic equities are trustless, transparent, and robust. This step underscores EquitX's commitment to security as it introduces borderless access to equities.

SecuritySmart ContractsDeFi
Lumen Loop's take

EquitX is finalizing its transition from testnet to mainnet, prioritizing security by partnering with Runtime Verification for a full audit of its v1 core contracts. Runtime Verification, experts in mathematical verification from formal methods research, has secured foundational blockchain infrastructure across layer-1 ecosystems. The audit is supported by the Stellar Development Foundation through the Soroban Audit Bank, aimed at strengthening Soroban smart contract security. EquitX aims to bring synthetic equities to Stellar without brokers, custody, or geographic barriers, ensuring collateral and liquidation mechanisms are reliable under stress. With the audit underway, focus shifts to refining the protocol, liquidity, and community onboarding for the December launch.

Mentioned projects
3 projects linked
B
BorderlessApplications
SCF
PaymentsRemittancesAPI

Borderless empowers migrant workers and financial institutions by using Stellar's blockchain and stablecoins to enable instant, …

View →
E
EquitXFinancial Protocols
SCFAudited
SyntheticsDeFi

A decentralized finance platform that enables users to mint, trade, and stake "xAssets," which are synthetic assets mirroring th…

View →
R
Runtime VerificationDeveloper Tooling
SCF
SecurityFormal Verification

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →