Albus on-chain compliance check
Albus on-chain compliance check
On-chain drand BN254 BLS verifier for Solana
Verify that requests were sent by Alexa for custom webservice skills, in Rust
Rust bindings for the RISC Zero verifier contracts (Groth16, mock, router, emergency stop).
Aptos VM runtime
Aqua protocol library to sign, witness , and verify aqua chains.
Aqua protocol data types and basic utility types.
Solidity SNARK verifier generator for Arkwork's proof systems.
ActionScript 3 verifier
Verify referential integrity of Apache Atlas Entities
LEZ on-chain verifier program (SPEL) for LP-0005 attestation credentials.