valida
VM verifier
A virtual machine for efficient and modular verification of program executions using Stark-based verification methods.
A STARK-based VM focused on code reuse, performance, and modularity
290 stars
13 watching
50 forks
Language: Rust
last commit: 4 months ago
Linked from 1 awesome list
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 vellvm/vellvm | A formal verification project of the LLVM compiler's semantics using Coq proof assistant. | 400 |
 pirapira/evmverif | A framework for verifying smart contract code on the Ethereum Virtual Machine | 44 |
 verifytests/verify.imagemagick | A tool for verifying digital documents by comparing images of converted versions. | 5 |
| verifytests/verify.blazor | A tool for verifying Blazor components by capturing their rendered HTML and model state in a snapshot file. | 33 |
 symbioticeda/riscv-formal | A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches. | 585 |
 vbmania/rxvalidator | A validation library for Swift that provides flexible and easy-to-use rules for checking data against conditions. | 155 |
 osvvm/osvvmlibraries | Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits. | 51 |
 mit-pdos/perennial | A system for verifying correctness of concurrent and crash-safe systems with recovery procedures | 163 |
 0xpolygonmiden/miden-vm | A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details. | 631 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 angelognazzo/reliable-trustworthy-ai | An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks | 1 |
 kimono-koans/dano | A tool for verifying media checksums without re-encoding or re-writing metadata. | 142 |
| verifytests/verify.communitytoolkit.mvvm | A test suite for verifying the behavior of CommunityToolkit.Mvvm | 1 |
| verifytests/verify.masstransit | Provides a way to verify the behavior of MassTransit test helpers during testing. | 12 |