liminal-ark-relation-macro (cargo): Procedural macro for concise defining SNARK relations.
Keywords: zero-knowledge