Home

HighGuard is a powerful runtime monitoring tool designed to detect business logic flaws in smart contracts. By leveraging DCR (Dynamic Condition Response) graphs, HighGuard provides an efficient way to monitor and verify the execution of smart contracts against their intended business logic. This wiki provides all the necessary documentation, guides, and resources to help you get started with HighGuard.

Overview

HighGuard addresses the challenge of detecting transactions that potentially violate business logic specifications of smart contracts. Unlike traditional tools that focus on well-known vulnerabilities, HighGuard uses formal DCR graph models to ensure smart contracts adhere to their intended behavior, even in complex and cross-chain environments.

Main Features

• Runtime Monitoring: HighGuard observes smart contract transactions in real-time to detect deviations from specified business logic.
• Cross/Multi-Chain Capability: It is the first tool to operate in a cross-chain environment, detecting violations across different blockchain platforms.
• Automated Model-Based Testing: HighGuard automates testing of smart contracts using the execution and oracle system it provides.
• No Code Instrumentation: HighGuard functions without requiring any modifications to the smart contract code, thus incurring no additional gas costs.
• Supports Complex Business Logic: DCR graphs enhanced with data and time help modeling, testing, and monitoring based on complex business logics.
• High-Level Specifications: Models are built on high-level business logic, making the tool platform-agnostic.

Auxiliary Features

• Comprehensive Libraries: HighGuard includes many smart contract libraries within the project.
• Distributed Logging: HighGuard supports large-scale monitoring with a distributed logging system.