After docker is built normally, enter the corresponding parameters according to the instructions, and the obtained proof format is wrong.
The problem has been resolved
After docker is built normally, enter the corresponding parameters according to the instructions, and the obtained proof format is wrong.
The problem has been resolved