Tag
#proof
33 repositories
Repos
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Project is in active development and has been moved to the EthereumJS VM monorepo.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
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.
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.
precedence brings secure blockchain-powered traceability features to your already existing legacy information system
:muscle::link: PoW Blockchain implementation in Typescript :currency_exchange:
Batch verification proposal for the zkSNARK verification with the same(!) circuit
A Hash-less Adaptation of Schnorr's Digital Signature Algorithm Implemented in Python.
General purpose proving framework for certifying digital assets to public blockchains
Wrap patricia-trie implementation as a solidity library
Example of Bitcoin transaction parsing with Ada/SPARK2014
Prove someone has a piece of data with certainty using a fast challenge-response algorithm that does not disclose any piece of said data.
The MCP ZK Integrity Layer enables cryptographic proof of computational integrity and data authenticity using zero-knowledge protocols, ensuring trust without exposing sensitive information. It provides modular circuits (e.g., Poseidon, Keccak) for seamless integration into MCP workflows.
Timestamp your WordPress content into the blockchain to empower your content authenticity and increase user trust.
Solidity source for TGBT (Temporal Gradient Beacon Token) on Arbitrum One — verified on Arbiscan.
A decentralized prediction market running directly on Bitcoin via the Charms protocol. This contract enables users to create/resolve/cancel markets, mint/trade/burn YES/NO outcome tokens, claim fees, and redeem winning positions - all on Bitcoin's base layer.
A library that takes advantage of Bitcoin's address scheme to prove the existence of digital files at a point in time.
This library is meant to be the official public API into the proofs library.
This is a simple Tetcore runtime module to store online distributed proof of existence for any file.
Merkle tree implementation for solidity proof
Securely store and managing employee salaries and related financial operations.