#Proof
Showing 12 of 12 repositories tagged #proof, ranked by stars
Creusot helps you prove your Rust code is correct.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Public append-only ledger microservice built with Slim Framework
Project is in active development and has been moved to the EthereumJS VM monorepo.
Reference implementation of the OpenRarity protocol with Python.
Hรครคl - Anonymous Electronic Voting System on Public Blockchains
Tool that enables Cake DeFi's to provide proof of liabilities and reserves
On-chain snapshots of the whole blockchain state
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
Research Math Agents, Official code release for our paper RMA
ใ๐ฅใCVE-2022-33891 - Apache Spark Command Injection