The R1CS variant of the [Axe toolkit](https://acl2.org/doc/?topic=ACL2____AXE), for proving things about with R1CS circuits.

See the [documentation](https://acl2.org/doc/?topic=ACL2____AXE-R1CS).

See some examples in:
[../../ethereum/semaphore](../../ethereum/semaphore)
[../../zcash](../../zcash)
