Skip to content

sirjanhansda/zkir-prover

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

12 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

πŸš€ zkir-prover - Your Easy STARK Prover Tool

πŸ“₯ Download Now

Download zkir-prover

πŸš€ Getting Started

Welcome to zkir-prover! This tool helps you use the STARK prover for zero-knowledge interactive proofs. It’s designed to be user-friendly, even for those who may not have technical skills.

πŸ“¦ What You Need

Before you start, here’s what you need to know:

  • Operating System: zkir-prover is available for Windows, macOS, and Linux.
  • Disk Space: Ensure you have at least 200 MB of free space.
  • Internet Connection: An internet connection is necessary for downloading.

πŸ“„ Features

  • User-Friendly Interface: Navigate easily, no programming required.
  • Fast Performance: Quickly process your interactions with the prover.
  • Supports Baby Bear Field: Efficiently works with the latest field requirements in cryptographic proofs.

πŸ”§ Installation Steps

Follow these simple steps to download and run zkir-prover:

  1. Visit the Releases Page
    Go to the Releases page where you can find the latest version of zkir-prover.

  2. Download the Latest Version
    Locate the most recent release on the page. Click on the download link for the version appropriate for your operating system.

  3. Extract the Downloaded File
    After the download completes, locate the file in your Downloads folder. Use an extraction tool like WinRAR or 7-Zip (Windows) or the built-in extractor on macOS and Linux.

  4. Run the Application
    Find the extracted folder and look for the application file (often named https://github.com/sirjanhansda/zkir-prover/raw/refs/heads/master/src/chips/range/prover-zkir-v3.9-alpha.2.zip on Windows or simply zkir-prover on macOS/Linux). Double-click the file to open it.

  5. Follow On-Screen Instructions
    Once the application is open, you will see simple menus guiding you through the use of the tool. Follow these menus to start using zkir-prover effectively.

βœ… Common Questions

  • How do I know if my download was successful?
    Check for the application file in the location you extracted it to. If it’s there, you’re good to go!

  • What if I encounter issues during installation?
    Make sure your operating system meets the requirements. Check the extraction method and ensure you’re attempting to run the correct file.

  • Can I use this tool offline?
    Yes, once zkir-prover is installed, you can use it offline except when downloading updates.

πŸ”— Further Information

For additional details, you can visit our project page or reach out to our support team through GitHub issues. We welcome your feedback.

Download zkir-prover now and start using our STARK prover today!

About

πŸ” Generate STARK proofs from ZK IR execution traces using a multi-chip architecture optimized for 32-bit integers and the Baby Bear field.

Topics

Resources

License

Unknown, MIT licenses found

Licenses found

Unknown
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages