.vscode
**/*.idea/
**/target
**/.DS_Store
**/.ledger*
**/.operator*
**/.prover*
**inner.proving*
**outer.proving*
**posw.proving*
**universal.srs*
