v1.0.1

v1.0.1 updates (#12)

- add support for scoped constraints and short circuit debugging
- add vk verify in machine verify func
- update bench
- add single-threading support
- misc improvements

v1.0.0

v1.0.0

Key Features

• Interchangeable Proving Backends: Select from multiple proving backends to achieve the best performance and efficiency.
• App-Specific Circuits Integration: Seamlessly incorporate specialized circuit/coprocessors to accelerate domain-specific computations.
• Customizable Proving Workflows: Assemble and fine-tune proof generation pipelines tailored to your application’s specific requirements.