"""Standalone wormhole proof package."""