There are 9 repositories under proof topic.
Creusot helps you prove your code is correct in an automated fashion.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
An advanced SAT solver
Verified Software Toolchain
Project is in active development and has been moved to the EthereumJS VM monorepo.
Reference implementation of the OpenRarity protocol with Python.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Coq formalizations of functional languages.
In this repository you can find stuff related to hack Facebook & Instagram. Disclaimer: This is only the proof of concept of my piece of code and only for educational purpose. So we are not responsible for any illegal use of this code.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Correctness proofs of Ethereum token contracts
Generate an image (.png) simulating the donation of a nitro to a user
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Solutions for the book "Language Proof and Logic".
Tool that enables Cake DeFi's to provide proof of liabilities and reserves
On-chain snapshots of the whole blockchain state
A JavaScript propositional logic and resolution library
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Proving a blocking queue deadlock free in a dozen different ways