This directory contains an ACL2 library for
PFCS (Prime Field Constraint Systems),
which are a generalization, targeted to formal verification,
of R1CS (Rank-1 Constraint Systems)
and similar circuit representations for zero-knowledge proofs.

This library is documented in the manual at:
http://acl2.org/manual?topic=PFCS____PFCS
