Milestone 2 of our SCF #41 grant from @StellarOrg is submitted!
Milestone 1 was about laying the groundwork. We extended Komet with WASM-level tracing. Every step now records the instruction, the byte offset, the value stack, and the locals.
For Milestone 2, we built komet-node, a local Soroban testnet built on top of Komet. It operates through the Stellar RPC API. The node can save and load the full network state to and from files, allowing core developers to reproduce network conditions from bug reports. Furthermore, a new API endpoint traceTransaction exposes detailed low-level traces. The node serves as an executable specification of the Stellar RPC protocol, as a cross-testing target, and as a reference implementation for other nodes.
With first two milestones complete, we're moving on to Milestone 3!
Follow along as we build! 🫶
Monero community, we need your help.
After deep discussions with the Cuprate contributors, we've identified an avenue to stress-test Cuprate's consensus rules (the code that decides which transactions are valid) and catch bugs before they can cause network splits, especially around the FCMP++ upgrade.
Our CCS proposal to build the initial consensus fuzzing infrastructure would give Cuprate its first automated tests that go beyond parsing and actually hammer the validation logic itself.
By generating valid transactions and feeding them to both Cuprate and monerod, any disagreement between the two surfaces a consensus bug.
This initiative would help identify drifts between clients early on (when it's easier to spot and fix those issues), helping to make sure that Cuprate's implementation is correct as it's being developed.
The same harness can then be extended to cover FCMP++ once it lands upstream!
If Monero's development is close to your heart, please support our proposal below 👇
Shopping with your agent is already here.
Not in the future, but right now.
The question is ... Why should I trust it? Or more broadly ... Why should I trust AI?
Our answer is Formal Verification. Everything else is an approximation.
More about that soon.
took Fast Shop for a spin & recorded the whole flow.
under 2 minutes from 'i need this' to checkout, just by chatting.
still early, with new updates coming every day, but it's fully live & ready to help you buy anything on the web.
We're grateful to be contributing to ArkLib, CompPoly, and the verification of Rust code across the zkVM stack, alongside a great group of collaborators. With attacks getting cheaper and faster, formal verification has never mattered more.
Links to our work 👇
🇩🇪 Our team is heading to Berlin Blockchain Week, home to one of the most vibrant blockchain communities!
Find our all-star colleagues to chat about anything from our recent Solana & Ethereum formal verification efforts to the latest shifts in security & newest tooling.
Bis bald!
@ChainPatrol is great, they have already found and took down several scammers impersonating Fast to trick people into buying scam tokens.
We and @rv_inc catch all the coding bugs. @chain_port catches the remaining ones.
Proudly protecting @fastxyz 🤝
In the fast-moving world of AI agents and crypto payments, trust and security are critical. By actively monitoring to find and takedown scams, fake account and impersonators — We help keep the ecosystem safe so builders and agents can operate with confidence.
Proudly protecting @fastxyz 🤝
In the fast-moving world of AI agents and crypto payments, trust and security are critical. By actively monitoring to find and takedown scams, fake account and impersonators — We help keep the ecosystem safe so builders and agents can operate with confidence.