leo-synthesizer (cargo): Circuit synthesizer of the Leo programming language
Keywords: cryptography|zero-knowledge|leo|programming-language|aleo|compiler|zksnarks