WIP implementation of the extractor in Nova's security proof - View it on GitHub