scripts

Just some scripts to test and do exercises

circom

• install: https://docs.circom.io/getting-started/installation/
• run circom /path/to/file.circom --r1cs --sym to create a R1CS matrix
• run snarkjs r1cs print /path/to/file.r1cs to display the matrix

stable-baselines3

• Just install Python < 3.11, ref: https://stackoverflow.com/questions/77124879/pip-extras-require-must-be-a-dictionary-whose-values-are-strings-or-lists-of