docs: add batch demo (#849) #4215

Job	Run time
model-serialization	6m 49s
docs	5m 20s
build	4m 56s
library-tests	6m 36s
prove-and-verify-aggr-tests-gpu	4m 30s
python-integration-tests	1h 43m 13s
ultra-overflow-tests	12m 46s
ultra-overflow-tests_og-lookup	12m 46s
wasm32-tests	13m 7s
prove-and-verify-tests	3h 7m 39s
python-tests	22m 51s
examples	14m 52s
mock-proving-tests	3h 26m 28s
prove-and-verify-evm-tests	1h 47m 2s
prove-and-verify-aggr-evm-tests	40m 23s
accuracy-measurement-tests	44m 57s
prove-and-verify-aggr-tests	43m 18s
prove-and-verify-mock-aggr-tests	18m 21s
tutorial	20m 8s
	14h 36m 2s

Provide feedback