An Exchange Format for Verification Witnesses (MOVED, please follow the link) - View it on GitHub