Introduction
This is the repository contains the full collateral margin engine for Grappa core protocol. This module is capable of minting the following tokens:
- Call option (collateralized with underlying asset)
- Put option (collateralized with strike asset)
- Call spread (collateralized with underlying or strike)
- Put spread (collateralized with strike)
For more details about the codebase and architecture, please goes to docs
Get Started
forge build
forge test
For auto linting and running gas snapshot, you will also need to setup npm environment, and install husky hooks
# install yarn dependencies
yarn
# install hooks
npx husky install
Test, Coverage and Lint
forge test
forge coverage
forge fmt
Security
Run Slither static analysis
slither src
Run Certora verification
Go to certora/
for more detailed information.