GitHub repository: o1-labs/mina-book
Description: Specifications and documentation for the Mina protocol