# gnark documentation

> Documentation for gnark, a fast and expressive zk-SNARK library written in Go.

This file contains links to documentation sections following the llmstxt.org standard.

## Table of Contents

- [gnark](https://docs.gnark.consensys.com/overview): gnark is a fast, open-source zk-SNARK library written in Go
- [Compile circuits](https://docs.gnark.consensys.com/HowTo/compile): How to compile gnark circuits
- [Debug and test circuits](https://docs.gnark.consensys.com/HowTo/debug_test): How to debug and test gnark circuits
- [Add gnark to your project](https://docs.gnark.consensys.com/HowTo/get_started): - [Install Go](https://golang.org/doc/install).
- [Profile circuits](https://docs.gnark.consensys.com/HowTo/profile): How to profile and optimize gnark circuits
- [Create and verify proofs](https://docs.gnark.consensys.com/HowTo/prove): How to create and verify proofs
- [Serialize](https://docs.gnark.consensys.com/HowTo/serialize): How to serialize gnark objects
- [Circuit API](https://docs.gnark.consensys.com/HowTo/write/circuit_api): How to write a gnark circuit
- [Circuit structure](https://docs.gnark.consensys.com/HowTo/write/circuit_structure): gnark circuit structure
- [Design considerations](https://docs.gnark.consensys.com/HowTo/write/design_considerations): gnark circuit design considerations
- [Hints](https://docs.gnark.consensys.com/HowTo/write/hints): Using hints for off-circuit computations
- [Conditionals and loops](https://docs.gnark.consensys.com/HowTo/write/instructions): How to use conditional and loops in a gnark circuit
- [Standard library](https://docs.gnark.consensys.com/HowTo/write/standard_library): gnark standard library
- [Circuits and constraint systems](https://docs.gnark.consensys.com/Concepts/circuits): What are circuits
- [Proving schemes and curves](https://docs.gnark.consensys.com/Concepts/schemes_curves): Proving schemes and curves
- [zk-SNARK](https://docs.gnark.consensys.com/Concepts/zkp): What are zk-SNARKs
- [EdDSA](https://docs.gnark.consensys.com/Tutorials/eddsa): Verify an EdDSA signature inside a zk-SNARK circuit
- [API](https://docs.gnark.consensys.com/Reference/api): gnark API