The Grabbit Protocol Documentation

Technical specifications and other related documents generated in the creation of the Grabbit Protocol.

Design Specifications

Documents we wrote as we designed the protocol and the product.

• Design Document
• Auction Spec
• Finite Set Spec
• Auxiliary Contract Spec

Note: many of the examples in our specification are written in Plutus Tx; however, our contracts themselves are written in Plutarch V1.2.

Audit Documents

Documents from the audit process.

• Audit Results
• Certik Statement of Work
• Finite Set Properties (For Formal Verification)

Contact

Want to know more? Here's some ways you can reach us:

• Grabbit Twitter
• Grabbit Discord