This is the book on NoName, a high-level language to write circuits using the kimchi zero-knowledge proof system.