qa-dqc This repository is the implementation of dynamic circuit compilation for interactive cryptographic protocols verification.