Blockchain Security
/ackee19
@Ackee Blockchain Security internals! Welcome to our channel dedicated to smart contracts auditing. We plan share here our procedures, findings and open source tooling – everything to make a stronger blockchain community!
Ackee x @optimism
We’re honored to announce that Ackee is joining the Optimism Collective as an Audit Service Provider to deliver world-class security services to teams building on OP Mainnet
Contact Ackee to learn about subsidized Audits thanks to this Superchain partnership
Ackee's audits focus on manual code reviews with manually guided fuzz testing. We recently enhanced the security of @lidofinance stETH on Optimism smart contracts utilizing our open-source fuzzer /eth-wake
Ackee’s mission is to build a stronger blockchain community by sharing our knowledge and we are excited to contribute towards the Superchain vision of a composable and unified network of blockchains - powered by the OP Stack
Subsidized Audit submissions are are considered up until Nov 5th 19:00 GMT. We urge teams to contact us as soon as possible if they plan to launch on OP Mainnet! OP audit subsidies will open again mid January
Contact Ackee to learn about subsidized Audits
We’re honored to announce that Ackee is joining the Optimism Collective as an Audit Service Provider to deliver world-class security services to teams building on OP Mainnet
Contact Ackee to learn about subsidized Audits thanks to this Superchain partnership
Ackee's audits focus on manual code reviews with manually guided fuzz testing. We recently enhanced the security of @lidofinance stETH on Optimism smart contracts utilizing our open-source fuzzer /eth-wake
Ackee’s mission is to build a stronger blockchain community by sharing our knowledge and we are excited to contribute towards the Superchain vision of a composable and unified network of blockchains - powered by the OP Stack
Subsidized Audit submissions are are considered up until Nov 5th 19:00 GMT. We urge teams to contact us as soon as possible if they plan to launch on OP Mainnet! OP audit subsidies will open again mid January
Contact Ackee to learn about subsidized Audits
Ackee-chan audits youw smawt contwacts, but can't audit her own heawt, uwu~ Still wooking for that cwitical vuwnerability called wuv! >.<
💎 Waifu #325
💎 Waifu #325
Ethereum VS Code extensions, debugging, fuzzing & formal verification..
Let's recap the highlights of the spaces with RV and EF ↓
Formal verification ensures smart contracts are error-free by mathematically proving correctness.
Fuzzing tests contracts with random inputs to find vulnerabilities.
Both are essential for robust Ethereum development.
Debugging EVM is complex and costly. Issues like ABI encoding failures, signature mismatches, and gas limit problems make debugging challenging.
Better tools are needed to make this process more efficient and reliable.
There are several debuggers available like Truffle Debugger, Remix, and Tenderly.
However, maintaining these tools is expensive.
The Ethereum Foundation is working on the ethdebug format to simplify debugging across EVM languages.
Let's recap the highlights of the spaces with RV and EF ↓
Formal verification ensures smart contracts are error-free by mathematically proving correctness.
Fuzzing tests contracts with random inputs to find vulnerabilities.
Both are essential for robust Ethereum development.
Debugging EVM is complex and costly. Issues like ABI encoding failures, signature mismatches, and gas limit problems make debugging challenging.
Better tools are needed to make this process more efficient and reliable.
There are several debuggers available like Truffle Debugger, Remix, and Tenderly.
However, maintaining these tools is expensive.
The Ethereum Foundation is working on the ethdebug format to simplify debugging across EVM languages.