Reference implementation of the OpenRarity protocol with Python.

This Fake Proof generator allows you to generate an image (.png) simulating the donation of a nitro to a user. It is possible to choose by entering the ID a real user or to choose manually the name, the profile picture and the message of the user. The use of the script is done with the help of commands using Discord modals.

「💥」CVE-2022-33891 - Apache Spark Command Injection

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Python library for computational formal logic, formal semantics, and theorem proving

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

Hacking the Noke Padlock: Proof of concept material

Lean coding problem solving challenge website with proof verification

Wudder's Python SDK

Prove someone has a piece of data with certainty using a fast challenge-response algorithm that does not disclose any piece of said data.

Generate merkle proof of given addresses which can be used in solidity

A simple blockchain code with basic functionalities like signing transactions and proof of work

Simple, lightweight implementation of Merkle Trees in Python 3

Implementing a "Smart Blockchain" with python

A proof of concept conversion of the entirety of Breath of the Wild into a text based game.

A program that verifies proofs in the F0 proof system

A human-friendly and developer-friendly math proof assistant

LoR Merkle proof verifier

An algorithm to prove formulas by induction e.g. the sum of first n integers