Ackee

@ackee

140 Following

399 Followers

Ackee pfp

Symbolic execution is used to analyze program paths and constraints, effectively handling branching states in formal verification. Tools like Symbolic Execution Debugger map low-level EVM states back to Solidity source code, aiding both manual code reviews and FV processes. VS Code is the go-to IDE for Solidity developers. Ackee Blockchain Security has developed a VS Code extension that integrates with /eth-wake offering features like inheritance graphs, control flow graphs, visual test coverage, and static analysis detections. Key Takeaways → Debugging tools are essential for Ethereum development but are currently expensive and complex to maintain. →Formal verification and fuzzing are critical for securing smart contracts. → Symbolic execution helps in mapping low-level EVM states to high-level code. →VS Code extensions like Tools for Solidity enhance developer productivity and ease of use.

0 reply

0 recast

2 reactions

Ackee pfp

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.

1 reply

0 recast

3 reactions

Axelar Network pfp

@axelar-network

Calling all devs of Farcaster 💻 Check out this tutorial from @olanetsoft where you’ll learn how to build a @farcaster Frame bridging ERC20 tokens using Interchain Token Service 🦾 🟠 www.youtube.com/watch?v=dmM1....

2 replies

2 recasts

6 reactions

Ackee pfp

0 reply

0 recast

0 reaction

Ackee pfp

📢 Fuzzing and Formal Verification Spaces Alert! Join us on Twitter/X Spaces on July 2, 2024 at 6 PM UTC for an in-depth 🌶️ chat on Formal Verification, Fuzzing and VS Code Extensions!   Joining us: - @gnidan from EF - Raoul from @rv-inc - @stepansonsky from /ackee - @pepus from /ackee - @michprev from /ackee RSVP on luma for a calendar reminder https://lu.ma/5t77oe1b

0 reply

0 recast

3 reactions

Brahma pfp

Brahma Console is Now Live on @base 🔵 Tailored for power users and teams ⚡️Seeking fast navigation, 📝 Efficient execution, and 🔐Top-tier asset security on-chain! Deploy your Console now, with gas sponsored by Base & Safe⛓️ http://brahma.fi/base Dive deeper: https://x.com/BrahmaFi/status/1806359400510362024

0 reply

1 recast

1 reaction

Ackee pfp

Blog series on Reentrancy Attacks 🔒 We'll be covering several reentrancy methods in the comings weeks Including code examples and prevention methods Reentrancy attacks that we will cover: - FlashLoan - ERC-721, ERC-777, ERC-1155 - Cross function - Cross contract - Read only - Cross chain Kicking off the first research blog with single function reentrancy attacks, and how to prevent them by Naoki @undefined https://ackee.xyz/blog/single-function-reentrancy-attack/

0 reply

2 recasts

2 reactions

Ackee pfp

0 reply

0 recast

0 reaction

Ackee pfp

Sales intern wanted Apply via https://x.com/web3career/status/1801525259289387437?s=46

0 reply

0 recast

0 reaction

Ackee pfp

0 reply

0 recast

1 reaction

Ackee pfp

DePIN incubation program is now open, calling DePIN projects worldwide https://medium.com/@Future3Campus/future3-campus-announces-depin-cohort-ii-for-depin-builders-and-developers-bf61996d2cb9

0 reply

0 recast

5 reactions

Ackee pfp

Thanks for attending our rooftop party at our offices, we hope you had a great time 🥳 148 humans and 1 dog were checked in over the course of the evening Pictures of the party are now available in our /ackee frens telegram group chat! Check your email for an invite link!

1 reply

3 recasts

8 reactions

Ackee pfp

https://warpcast.com/ackee/0x647715cf https://ackee.xyz/blog/catalyst-generalised-incentives-audit-summary/

0 reply

0 recast

1 reaction

Ackee pfp

🙌 Ackee completed the Catalyst Generalised Incentives audit The audit resulted in 19 findings, from Info to Critical severity. Audited by Andrey Babushkin @cyberbabushkin from /ackee Read the Catalyst audit summary 👇 https://ackee.xyz/blog/catalyst-generalised-incentives-audit-summary/

0 reply

1 recast

4 reactions

Ackee pfp

How to Fuzz Solana Programs written in Anchor using /trident https://ackee.xyz/blog/introducing-trident-the-first-open-source-fuzzer-for-solana-programs/

1 reply

0 recast

4 reactions

Ackee pfp

Fuzz test your Solana Programs with /trident https://ackee.xyz/blog/introducing-trident-the-first-open-source-fuzzer-for-solana-programs/

0 reply

0 recast

2 reactions

Ackee pfp

Wake Framework Wake is a Python-based Solidity development and testing framework Features - Testing framework based on pytest - Fuzzer - Vulnerability & code quality detectors - Printers - LSP server - VS Code extension (Tools for Solidity) - Static analysis framework - more at: https://getwake.io/

0 reply

0 recast

5 reactions

Ackee pfp

come hang with casters farconnect.xyz

0 reply

3 recasts

13 reactions

Ackee pfp

Join us with 1inch and Axelar for our VIP Rooftop Party during @ethprague In the heart of the Prague tech district we'll enjoy a food bar, vinyl DJ's beats, and get to taste local Czech beer provided by the CEO of a local brewery Sign up 👇 https://frames.neynar.com/f/6ae237d6/778d8a19

2 replies

3 recasts

14 reactions

Ackee pfp

We are finalizing a 4337 detector to identify the use of forbidden opcodes and storage access The detector has found an issue in the @rhinestone modulekit examples project We invite @4337mafia and @safe Builders to submit their repos for a free review 👇 https://ackee.xyz/blog/wake-erc-4337-detector/

0 reply

6 recasts

12 reactions