/full-collat-engine

fully collateral engine

Primary LanguageSolidityMIT LicenseMIT

Grappa Fully Collat Engine



Don't waste your capital.

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.