This is the Linux app named FlashProve whose latest release can be downloaded as FlashProvesourcecode.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named FlashProve with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS
Ad
FlashProve
DESCRIPTION
FlashProve is an open-source research prototype developed by Anthropic for generating zero-knowledge proofs of AI model inference. It allows an AI provider to demonstrate that a response came from a specific committed model without revealing the model's weights. The system uses cryptographic commitments to bind inference results to a defined model configuration. GPU-based proving generates evidence that can be independently checked using a lightweight CPU verifier. Its implementation supports experiments with Llama 4 Maverick, including full-size inference on an NVIDIA H100 GPU. The protocol's security properties are formally verified using Lean 4. FlashProve includes example proofs, testing utilities, and reproducible research documentation. The repository is a research artifact and is no longer maintained.
Features
- Zero-knowledge cryptographic proofs verifying AI inference against committed model weights
- Confidential model weight commitments without exposing proprietary parameter information
- GPU-accelerated proof generation with independent CPU-based verification
- Experimental Llama 4 Maverick inference proving on NVIDIA H100 hardware
- Formally verified protocol soundness using Lean 4 mathematical proofs
- Reproducible research workflows with example proofs, test suites, and verification utilities
Programming Language
C++
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/flashprove.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
