"Smart contract development involves using a variety of tools for testing, analysis, deployment, or vulnerability scanning. The approach of the Wake framework is to deliver one tool the developers and auditors can use for everything: testing framework, fuzz testing, a static analyzer with custom detectors and printers, all visualized in the frontend - VS Code extension. This talk presents advanced use-cases focused on security and auditing such as fuzz testing, differential fuzz testing, and fork testing."

View Details

This panel will delve into the intricacies of validator security within blockchain networks. The experts will discuss the latest threats, mitigation strategies, and best practices to ensure the robustness and reliability of validator nodes. Attendees will gain valuable insights into the operational security, cryptographic safeguards, and policy measures essential for maintaining a secure validator ecosystem.

View Details

Join us for an insightful discussion on the critical role of formal verification in securing smart contracts. This panel brings together experts to explore how mathematical proofs can ensure the correctness and security of smart contracts, preventing vulnerabilities before deployment. Discover key techniques, real-world case studies, and future directions in formal verification for blockchain security. Enhance your understanding of how to fortify smart contracts in a decentralized environment.

View Details

Experience of utilizing a query engine to find replicates of known bugs in any deployed smart contracts within the Ethereum ecosystem.

View Details