acassimiro.eth @actsant

web3 dev, researcher, IT sec. enthusiast, jiu-jitsu dude, pets and music lover. Joined October 2018

Tweets

427
Followers

148
Following

174
Likes

3K

Runtime Vеrification @rv_inc

a month ago

Who's in Las Vegas this week? Everett Hildenbrandt (CEO) and Paul Len (COO) are on the ground at the Black Hat conference until Friday. If you're around and want to chat about formal verification, fuzzing, and their place in AI guardrails & agentic security, our DMs are open.

2 1 13 574 0

View Details

Runtime Vеrification @rv_inc

2 months ago

x.com/i/article/2072…

1 4 8 915 4

View Details

Runtime Vеrification @rv_inc

3 months ago

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 👇

2 8 29 990 5

View Details

Runtime Vеrification @rv_inc

3 months ago

x.com/i/article/2061…

0 2 6 262 0

View Details

Sahil @sahill_og

4 months ago

CEO's learning AI will cost more than human workers after firing 25% of their workforce

unusual_whales @unusual_whales

4 months ago

"AI can cost more than human workers now," per Axios

591 2K 15K 7.6M 1K

316 13K 163K 4.3M 5K

View Details

Runtime Vеrification @rv_inc

4 months ago

Donate to Simbolik: qf.giveth.io/project/simbol… Simbolik is the favorite Solidity debugger in the Ethereum ecosystem, and it’s built by our security engineers. But Simbolik is not just a debugger anymore, but a comprehensive security toolkit and a must-have for any builder. And the best part? We are just getting started, and you can help us by donating to the quadratic funding initiative, part of the @Giveth and @thedaofund Nowadays, with Simbolik, any developer can: -> Source-level debugger -> Foundry Test Explorer -> Test Coverage -> Static Analysis With your help, we have planned a series of new features, including the integration of Kontrol into Simbolik, our Foundry-native formal verification engine, to AI-assisted, coverage-guided test synthesis, static analysis detectors for stack-too-deep errors, and interactive symbolic execution. Donate to help expand Simbolik's capabilities, and if you have a feature you would like to see, talk to @RaoulSaffron

6 4 47 1.3M 8

View Details

Raoul @RaoulSaffron

4 months ago

Here's an intuitive explainer of quadratic funding and how it favors the number of contributors over the amount raised.

2 7 17 1K 7

View Details

Runtime Vеrification @rv_inc

6 months ago

x.com/i/article/2033…

3 6 92 22K 54

View Details

Runtime Vеrification @rv_inc

7 months ago

x.com/i/article/2021…

4 9 115 1.4M 30

View Details

Runtime Vеrification @rv_inc

9 months ago

1/ We are thrilled to announce the completion of @TrustlessWork's smart contracts code review 🐞🔨 Keep reading to learn more about what went down👇

7 5 17 2K 0

View Details

Tay 💖 @tayvano_

9 months ago

🚨 WARNING (AGAIN) DPRK threat actors are still rekting way too many of you via their fake Zoom / fake Teams meets. They're taking over your Telegrams -> using them to rekt all your friends. They've stolen over $300m via this method already. Read this. Stop the cycle. 🙏

165 384 2K 636K 649

View Details

Daniel Cumming @danielkcumming

9 months ago

Come see me speak about the work we have been doing at @rv_inc! My talk "Kompass: Ensuring SPL-Token Stays Safe on Pinocchio" will be on the Lock In stage at 11:30am December 12th @SolanaConf!

0 2 14 2K 1

View Details

Runtime Vеrification @rv_inc

10 months ago

🇦🇷 @actsant at @summit_defi sharing about "Rust-Proofing Your Chains: A Deep Dive into Secure Rust Development Workflows"

6 4 19 1K 1

View Details

Runtime Vеrification @rv_inc

10 months ago

🇦🇷 Catch our team tomorrow and Friday at @summit_defi's stage, sharing about some of the hottest security topics atm👇 ➡️@palinatolmach will talk Nov 20th - 14:05 at the Auditorium Stage about "Off-Chain But Not Off Radar: Securing Crypto Infrastructure Beyond Smart Contracts" ➡️ will talk Nov 20th - 16:05 at the Auditorium Stage about "Rust-Proofing Your Chains: A Deep Dive into Secure Rust Development Workflows" ➡️Everett Hildenbrandt will talk Nov 21st - 10:30 at the Nogal Stage about "Shipping AI-Generated Code That Won't Hurt You (Much)"

2 4 16 1K 0

View Details

Runtime Vеrification @rv_inc

10 months ago

Buenos días desde Buenos Aires! 🇦🇷🇦🇷🇦🇷 Catch our team during the week at La Rural, DSS and other events, or drop us a DM 📥 if you would like to go for a mate and talk security, formal verification, or where to find the best empanadas 🧉🥟

0 3 9 672 0

View Details

Defi Security Summit @summit_defi

10 months ago

Rust is powering more blockchains than ever, but secure workflows are still catching up. At DSS, Aellison Cassimiro from @rv_inc shares practical methods and tools for securing Rust code, drawn from real experience auditing Solana and Stellar-Soroban projects.

0 5 19 1K 1

View Details

Raoul @RaoulSaffron

11 months ago

🚀 It’s happening! Foundry test case debugging is coming to Simbolik Premium! We’re offering a few free beta seats for active testers — limited spots only! Please fill out the form in the comments if you'd like early access 👇