ERCx

ERC testing pre- and post-deployment for retail token investors, smart contract Web3 developers, and blockchain security auditors.

[ERCx @ERCxRV]

🚀 Dive deep into #ERCx token evaluation with our handy PDF reports - easy to print, easy to share! 📈 And guess what? The Daily plan is slashed to just $1 till April wraps up! 🎉 Don’t miss this chance to supercharge your insights! 💥https://t.co/rbYMdA0a3v

[Epic Vibe 🧞‍♂️|🔜 Vibecon @epicweb3]

Chain fragmentation is a real problem in all Web3

@RosuGrigore, CEO @pisquared will show one of the solutions to it with the keynote ”The Universal Settlement Layer - Unchaining Web3”

📅July 8, Brussels, @EthCC

Grab your ticket here:
https://t.co/1hDFn3RJ4U

[Runtime Vеrification @rv_inc]

🛠️🔍 Honored to announce that as the result of community voting, we’ve been chosen as the formal verification partner of @LidoFinance to support the smooth transition to Dual Governance mechanism by reviewing the specifications and implementation of the system

[Runtime Vеrification @rv_inc]

1/🧵 We’re thrilled to announce our latest proposal to the @Polkadot Treasury:

Rust Property Test Verification aimed at enhancing the security and reliability of the Polkadot ecosystem.

Here’s what you need to know 👇

[Runtime Vеrification @rv_inc]

8/🧵 That's all for this week's updates on @ERCxRV! We will be back next week with more updates.

If you have questions about ERCx or other topics, you can talk directly with our team in Discord

https://t.co/qPIgioxG6q

[Runtime Vеrification @rv_inc]

7/🧵 The update also includes various bug fixes and general enhancements to the platform. These improvements are aimed at making the platform more stable, efficient, and user-friendly.

[Runtime Vеrification @rv_inc]

6/🧵 Our internal tool known as evaluator, used for quickly assessing tokens on a large scale, has been upgraded to support multiple blockchain networks. This includes popular networks like Polygon, Avalanche, Arbitrum, and Binance Smart Chain. This means one step towards large evaluation of tokens across a broader range of environments.

[Runtime Vеrification @rv_inc]

5/🧵 The ERC-20 test suite has been enhanced to accommodate tokens that manage user balances in unconventional ways. This improvement broadens the scope of the test suite, ensuring that it can accurately assess a wider variety of ERC-20 tokens.

[Runtime Vеrification @rv_inc]

4/🧵 The platform now supports exporting the results of token evaluations into a CSV (Comma-Separated Values) file. This is particularly useful for users who wish to analyze the data or need to share the results.

[Runtime Vеrification @rv_inc]

3/🧵 For users subscribed to the Enterprise plan, a new feature has been introduced that allows the batch evaluation of tokens. This means users can now assess multiple tokens at once, improving efficiency and saving time.

[Runtime Vеrification @rv_inc]

2/🧵 On April 5th, the team conducted a @TheSecureum workshop focused on ERCx. This involved training and discussions on the technical aspects of ERCx. We loved interacting with the participants and getting their insights.

[Runtime Vеrification @rv_inc]

1/🧵 We are back with our weekly updates!

This week's focus is @ERCxRV, our tool for property testing for ERC tokens 👇

🛠️ Already read our updates and want to give it a try? Then, visit us at https://t.co/1VLXgWo7Yg

[SΞCURΞUM @TheSecureum]

Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at https://t.co/EYitbkHy3F

RACE-28 is designed by Secureum mentor @palinatolmach

Top-32 performers will be invited to a @rv_inc Workshop. Details on Discord.

[Raoul @RaoulSaffron]

Join my session at @ETHBucharest_ to learn about the next generation of formal methods tooling: we're blending the UX of classical interactive debugging with symbolic execution.

[Runtime Vеrification @rv_inc]

The @rv_inc crew assembled for the @BOBKonf = Sam Balco + Jost Berthold + @georgy_lukyanov.

If you are in Berlin, make sure you attend their K Framework workshop on Friday. https://t.co/jIMN9fgNFn

[ERCx @ERCxRV]

Dive deeper here: https://t.co/9NzvIf9F4R

[ERCx @ERCxRV]

We've just rolled out the "Inconclusive Test" feature in ERCx! Now, when testing tokens, you'll know why some properties can't be fully assessed. 🧐 Why it matters? It helps pinpoint exactly what needs fixing. Curious about what leads to an inconclusive result?

[ERCx @ERCxRV]

We now support the #Fantom Mainnet and Testnet. Come test your favorite tokens!
https://t.co/6ppUkJyJrd

[Yliès Falcone @YliesFalcone]

@0xOwenThurm Totally agree! At @ERCxRV and @rv_inc, we used mutation testing with Certora's Gambit tool to improve and assess the bug-finding capabilities of our test suites. We have an upcoming paper in ICST'24 describing the benefits when testing ERC-20 tokens.

[ERCx @ERCxRV]

@0xOwenThurm You are not wrong. 😉
https://t.co/DhXZp1RUCD