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 engine is

• Permisionless: There are no privileged roles, administrators, or any predefined parameters.
• Oracle Agnostic: Can work with any registered oracle of your choice in Grappa.
• No liquidation risk: The engine is always fully collateralized, and it can never go insolvent. (except when it is exploited)

Supported instruments

This engine 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.