feat: split `create_proof` #1227

Job	Run time
Bitrot check	1m 14s
Build target wasm32-unknown-unknown	1m 22s
Build target wasm32-wasi	1m 30s
Run the examples	1m 17s
Test on ubuntu-latest with basic features	3m 20s
Test on windows-latest with basic features	8m 9s
Test on macOS-latest with basic features	3m 31s
Intra-doc links	53s
Test on ubuntu-latest with all features	3m 55s
Test on windows-latest with all features	8m 36s
Test on macOS-latest with all features	3m 36s
Rustfmt	13s
	37m 36s

Provide feedback