2. Developer Guide
3. 1. Introduction
   1. 1.1. Brevis coChain
4. 2. Brevis App Workflow
   1. 2.1. Data Access Module
   2. 2.2. Application Circuit
   3. 2.3. Compiling & Proving
   4. 2.4. Contract Integration
   5. 2.5. coChain Mode
5. 3. Tutorial
   1. 3.1. Building the App Circuit
   2. 3.2. Writing the App Contract
   3. 3.3. Putting Everything Together
7. Developer Resources
8. 4. Circuit SDK Reference
   1. 4.1. Brevis App
   2. 4.2. App Circuit Interface
   3. 4.3. Custom Inputs
   4. 4.4. Circuit Data Types
   5. 4.5. Circuit API
   6. 4.6. DataStream API
   7. 4.7. Prover Service
   8. 4.8. Peripheral APIs
   9. 4.9. Go Workflow
9. 5. Brevis SDK Typescript Reference
   1. 5.1. Brevis Client
   2. 5.2. Prover Client
10. 6. More Examples and Ideas
11. 7. Limits and Performance
12. 8. Contract Addresses & RPC Endpoints
13. 9. Legacy Deployments
14. 10. FAQ/Troubleshooting
15. 11. Arithmetic Circuit Primer
16. 12. Security and Transparency
    1. 12.1. Trusted Setup
    2. 12.2. Audit Reports