Keyless ZK circuit and ZK proving service

This repo contains:

1. The circom implementation of the Aptos Keyless ZK relation from AIP-61
2. An implementation of a ZK proving service

Submodules

This repository uses a Git submodule for its rust-rapdisnark dependency. You should pull it via:

git submodule init
git submodule update