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
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
forge test
forge coverage
forge fmt
slither src
Go to certora/
for more detailed information.