Feature: Endpoint for Validating Generated Proofs#10

Merged

chudkowsky merged 12 commits intoremove-dockerfrom verifier

Aug 16, 2024

+143-44

Commits on Aug 15, 2024

verifier in docker
chudkowsky
committed

Commits on Aug 16, 2024

script update, check corectness of build and run
chudkowsky
committed
fix docker image

steebchen
authored and
chudkowsky
committed
fix clippy

steebchen
authored and
chudkowsky
committed
publish ci

steebchen
authored and
chudkowsky
committed
run on 32 core

steebchen
authored and
chudkowsky
committed
remove docker

steebchen
authored and
chudkowsky
committed
test all

steebchen
authored and
chudkowsky
committed
test serially

steebchen
authored and
chudkowsky
committed
proof verification on tests, using cpu_air_verifier
chudkowsky
committed
Port in tests as env, container_engine variable
chudkowsky
committed
Merge branch 'remove-docker' into verifier
chudkowsky
authored