Overview of the Phylax credible-std Library
credible-std
is the standard library for implementing assertions in the Credible Layer. It provides the core contracts and interfaces needed to create and manage assertions for smart contract security monitoring.
You can find the repository on GitHub.
credible-std
library provides several essential components for implementing assertions:
Credible.sol
: Base contract that provides access to the PhEvm precompile for assertion validationAssertion.sol
: Abstract contract for implementing assertions with trigger registration and validation logicStateChanges.sol
: Utilities for tracking and validating contract state changes with type-safe conversionsTriggerRecorder.sol
: Manages assertion triggers for function calls, storage changes, and balance changesPhEvm.sol
: Interface for the PhEvm precompile that enables assertion validationCredibleTest.sol
: Testing utilities for assertion development and validationcredible-std
is written in Solidity, making it seamlessly integrated with your existing smart contract development workflow. This means: