acassimiro.eth @actsant

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

Tweets

426
Followers

152
Following

173
Likes

3K

Runtime Vеrification @rv_inc

3 weeks 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 954 5

View Details

Runtime Vеrification @rv_inc

4 weeks ago

x.com/i/article/2061…

0 2 5 241 0

View Details

Sahil @sahill_og

2 months ago

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

unusual_whales @unusual_whales

2 months ago

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

599 2K 15K 7.6M 1K

324 14K 165K 4.3M 6K

View Details

Runtime Vеrification @rv_inc

2 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 49 1.3M 9

View Details

Raoul @RaoulSaffron

2 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

4 months ago

x.com/i/article/2033…

3 6 92 21K 54

View Details

Runtime Vеrification @rv_inc

5 months ago

x.com/i/article/2021…

4 10 113 1.4M 30

View Details

Runtime Vеrification @rv_inc

6 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_

7 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. 🙏

148 387 2K 615K 643

View Details

Daniel Cumming @danielkcumming

7 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 15 2K 1

View Details

Runtime Vеrification @rv_inc

7 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

acassimiro.eth @actsant

7 months ago

Having tons of fun in Algoland! @AlgoFoundation #algoland

0 0 4 193 0

View Details

Runtime Vеrification @rv_inc

7 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

8 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 669 0

View Details

Defi Security Summit @summit_defi

8 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

9 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 👇

18 10 90 6K 6

View Details

shafu @shafu0x

9 months ago

All EVM opcodes in one diagram by @LearnEVM

10 43 334 13K 220

View Details

Justin Benjamin @justinbenjaminn

9 months ago

📈 @normalfi is raising our seed round! If you know an active crypto angel or VC investor, send us a message. You will get something special if you refer a deal 🤝

Normal @normalfi

9 months ago

✨Normal v1 will soon be available on @StellarOrg mainnet. We’re making final revisions to ensure maximum protocol security and success for our community. @BuildOnStellar We’re raising a $3m seed round to help us reach $100m TVL in the next 12 months through a user-friendly