Lurk ZK proof language assessment

Lurk hired us to review its zero-knowledge langage, with a focus on its R1CS circuits, prior to the Lurk alpha release.

Our report is available.

See also the announcement of Lurk's alpha release.