# R1cs-bridge

Bridge between PFCSes and R1CSes.

PFCSes are a generalization of R1CSes.
Thus, there is an embedding of R1CSes into PFCSes,
which we reify by providing a mapping from R1CSes and PFCSes.

The mapping functions are accompanied by theorems
showing that the resulting PFCSes are in the R1CS subset.

### Subtopics

- R1cs-constraints-to-pfcs
- Translate a list of R1CS constraints to a list of PFCS constraints.
- R1cs-vector-to-pfcs
- Translate an R1CS (sparse) vector to a PFCS expression.
- R1cs-vec-elem-to-pfcs
- Translate an R1CS vector element to a PFCS expression.
- R1cs-to-pfcs
- Translate an R1CS to a PFCS.
- R1cs-constraint-to-pfcs
- Translate an R1CS constraint to a PFCS constraint.