https://miscreants.github.io/blog.trailofbits.com/categories/invariant-development/Recent content in invariant-development on The Trail of Bits BlogHugoen-usWed, 12 Feb 2025 09:30:36 -0500https://miscreants.github.io/blog.trailofbits.com/2025/02/12/the-call-for-invariant-driven-development/Wed, 12 Feb 2025 09:30:36 -0500https://miscreants.github.io/blog.trailofbits.com/2025/02/12/the-call-for-invariant-driven-development/Writing smart contracts requires a higher level of security assurance than most other fields of software engineering. The industry has evolved from simple ERC20 tokens to complex, multi-component DeFi systems that leverage domain-specific algorithms and handle significant monetary value. This evolution has unlocked immense potential but has also introduced an escalating number […]https://miscreants.github.io/blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/Tue, 30 Apr 2024 09:30:43 -0400https://miscreants.github.io/blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/Welcome to our deep dive into the world of invariant development with Curvance. We’ve been building invariants as part of regular code review assessments for more than 6 years now, but our work with Curvance marks our very first official invariant development project, in which developing and testing invariants is all we […]https://miscreants.github.io/blog.trailofbits.com/2023/10/05/introducing-invariant-development-as-a-service/Thu, 05 Oct 2023 08:00:52 -0400https://miscreants.github.io/blog.trailofbits.com/2023/10/05/introducing-invariant-development-as-a-service/Understanding and rigorously testing system invariants are essential aspects of developing robust smart contracts. Invariants are facts about the protocol that should remain true no matter what happens. Defining and testing these invariants allows developers to prevent the introduction of bugs and make their code more robust in the long term. However, it is difficult […]