Contributing to the security of @StellarOrg takes a “village” and we’re proud to play a small role across different formats.
Here's how it's been playing out lately:
• Our auditors were engaged on 4 Soroban reviews at one point in June, spanning a variety of Stellar projects.
Proud to support Matrixdock in its mission to create a secure, robust, and transparent RWA Reserve Layer.
Thank you for your trust in our team and the unparalleled Soroban expertise we bring to each audit 🤝
$XAUm on @StellarOrg now has its smart contracts independently audited by @rv_inc and @osec_io.
Reserve transparency is strengthened through complementary layers of verification. For $XAUm, that includes:
• Independent physical reserve audits by @BureauVeritasCU.
• Smart
We've completed @defindex_'s APY Stabilizer design and code review.
The engagement ran over two weeks, concluding in June 2026. The audit combined a design review with a manual code review, focusing on role-based access control correctness, fee-bounds and accounting invariants,
We recently put out a blog post on the WebAssembly debugger we're building for Stellar, and why it matters well beyond Stellar itself.
The debugger maintains a clear separation of concerns between pure WebAssembly execution logic and Stellar-specific chain logic. The same
One of the clearest reads we've come across on vericoding and a great snapshot of a fast-moving space.
We appreciate the thoughtful inclusion, Bastian!
There's plenty more development here worth digging into 👀
1/ Vibe coded software of uncertain quality is flooding the world.
Vericoding is the counterpart to vibe coding, i.e. the AI generation of formally verified code from a formal spec.
Read my blog post on vericoding: bwetzel.medium.com/vericoding-for…
We've completed @matrixdock 's XAUm Gold protocol design and code review. The engagement ran over three weeks, concluding in June 2026. The review combined a design review with a manual code review, focusing on role-based access control correctness and cross-contract interaction
Building on Aptos and your mission-critical components are still not formally verified?
We'll be more than happy to help, through Areta's just-launched Aptos Security Marketplace 🤝
1/ The Aptos Security Marketplace from Areta Market is now live on @Aptos!
Proven across 10 ecosystems, 2k+ quotes submitted, and up to 30% average cost savings per audit. Alongside the Aptos Foundation, we’re excited to make top-tier security accessible to Aptos builders.
→
Big milestone for our @StellarOrg debugger: today we stepped through a Stellar transaction for the very first time.
The DevEx below is still early, the final version will be much smoother. But every debugger has to start somewhere🚀
One of the most memorable AI security events of the year just concluded.
If you missed @Stanford's "The Real World AI Security Conference", allow us to recap the 5 main takeaways (as experienced by our CEO, Everett Hildenbrandt):
1. Prompt injection and adaptive jailbreaks
Last week @juliankuners, one of our formal verification engineers, joined a panel at the AI Agents Summit in Berlin to discuss guardrails for agentic autonomy.
"I'm excited about the future of agentic ecosystems, where we'll see humans deploy agents, agents deploy other agents,
Our Ethereum roots go back almost a decade, so naturally we're very excited about these types of initiatives.
Any organized movement to help Ethereum realize its potential has our support!
Bullish ✊️
Announcing Ethlabs: a non-profit R&D lab for Ethereum and ETH
Our mission is to make Ethereum the settlement layer of the global economy.
The internet became global because shared protocols created a common language between networks. Private systems remained useful, but
