Rust repo showing how to build a QAP from R1CS with Arkworks, plus the interpolation and Schwartz-Zippel bits people hand-wave.

Ashlar builds an AO hash from chained field squarings, trying to out-Poseidon Poseidon and begging for attacks.