This refactor PR https://github.com/orochi-network/zkDatabase/pull/314 when merged could affect contract proving. Re-testing is required.