Tag
#verification
107 repositories
Repos
HACL*, a formally verified cryptographic library written in F*
A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).
GitHub Action and CLI to validate, monitor, and publish verifiable skills (SKILL.md) via Registry Broker
Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.
Solidity NFT whitelist contract example using MerkleTree.js for constructing merkle root and merkle proofs.
Tool to sign data with a Cardano-Secret-Key // verify data with a Cardano-Public-Key // generate CIP-8, CIP-30, CIP-36 data // sign CIP-100/108/119 documents // generate Cardano keys like payment, stake, drep from a Derivation-Path with/without mnemonics
Verifying merkle multiproofs in solidity example (unaudited)
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning
PyHutool是一个小而全的Python工具类库，借鉴Java的Hutool，🍬A set of tools that keep Python sweet.
Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem
EveryCRED Verifier JS is a JavaScript library designed for verifying EveryCRED credentials according to the W3C credentials standard. It provides robust on-chain and off-chain verification capabilities, enhancing security and transparency in credential verification processes.
Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
This repository provides invariant verification in Datalog for immutable databases like Datahike.
Open trust and payment infrastructure for apps, APIs, and agents. Verify once, then reuse proof receipts anywhere.
Victor, verifier in cryptography, publicly issues free trusted TIMESTAMP of file hash information embedded into a blockchain.
This project demonstrate that how a government or any super authority can utilize the Ethereum blockchain for the attestation of citizen's PII data. By empowering the user and allowing user to verify his information on any third party website using his Ethereum account through Web.3.0 wallets.
Merklux is a framework for general state plasma with economic incentives
A solidity library for verifying elliptic curve signatures in Ethereum (ecrecover)
This bot aims to provide a wallet and user association based on the user's discord account.
XRP SigVerify is revolutionizing document signing and validation using the XRP Ledger and blockchain technology. Our platform provides secure and transparent document verification, including digital signature creation, robust verification, and seamless XRP Ledger integration.
NFT-based credentialing system | created for LFGrow '22 Hackathon
Interact with your smart contracts with ease in a user-friendly interface, without the requirement of any technical knowledge with the FVM-Chain.
This project is for easier deployment and verification of uniswap v3 contracts, using hardhat
Qui si può verificare l'avvenuta notarizzazione del consenso seguendo le istruzioni oppure si può caricare la ricevuta nella pagina apposita a: https://popso.github.io/verifica-notarizzazione-blockchain/
A library for interaction with the RariMe app and RariMe verificator service
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
MedLedger is a full-stack blockchain-powered platform for verifying medicine authenticity using IPFS, smart contracts, and QR-based traceability. Built for hackathons, optimized for judges—this project combines backend precision, frontend clarity, and decentralized trust.
A decentralized service for issuing and verifying certificates securely and transparently.
Cryptographic proof for deleted and edited public statements on Hedera.
This service is meant to establish a shared standard on how trusted entities (such as well-known DEXs, Foundations, specialized companies) can voice opinions about the trustworthiness of a token, marking the combination of token and metadata as either verified or scam.
An implementation of the New Zealand COVID Pass specification in Solidity
Tokengate, verify wallets, collect data. Javascript Wrapper for the Walver API
Component responsible for verifying cross-chain messages and their associated zero-knowledge proofs.
Tokengate, verify wallets, collect data. Python API Wrapper for the Walver API
Public monorepo for YouAndINotAI and related web properties operated by Trash Or Treasure Online Recycler LLC.
A work verification and proof-of-work tracking application
Deploy and verify ERC-721 NFT collections directly from Remix IDE with royalty and metadata support
Node.js implementation of Ethereum One-Time Password (EthOTP) Authentication
Basic Contract example to verify using Gist and Etherscan
Flattens multi-file Solidity projects into a single file for Etherscan verification via Remix IDE
ERC-ZZZZ: FHE Computation Verification — On-chain verification of encrypted computation via recursive ZK proofs. By Valisthea.
winning at (https://base.mirror.xyz/p_A3ZxaBUEcpWwTf9_Yg-jnlOro8m8Ypc8LEDnA_ZRk)
A Clarity-based Know Your Customer (KYC) smart contract for the Stacks blockchain that enables secure user identity verification with role-based access control.
Provides JavaScript/TypeScript bindings for the official Rust ics23 crate, compiled to WebAssembly via wasm-bindgen and wasm-pack.
agent verification system for enterprise, powered by XION’s smart accounts
Fork of @nomiclabs/hardhat-etherscan with Etherscan v2 API query parameter support for any chain
Blockchain-based platform for issuing, storing, and verifying academic certificates as tamper-proof NFTs.
💳 demonstration of how solana key-pairs are generated, transactions are signed & verified using @solana/web3.js
Verify the authenticity of Signos-sealed photos and videos. Client-side BLAKE3 hashing, Algorand blockchain verification, and human presence proof.
Tooling to verify on-chain WASM integrity against GitHub source code for the Arbitrum Stylus ecosystem.
Ethereum deployment verification tool. Sourcify → Blockscout → Etherscan provider chain with solc wrapper. Node 24 compatible.
Verify blockchain-anchored timestamp proofs - open-source CLI for ProofAnchor ProofLedger and OpenTimestamps
a .NET Core 2.1 console application that uses OneDrive file data and an Ethereum consortium blockchain to confirm when files have been modified
BlockVerify is a blockchain-based document verification system designed for educational institutions to issue, manage, and verify academic credentials securely.
BLAKE2b Merkle proof verification on EVM. Uses EIP-152 precompile. Deployed on Arbitrum, Base, Hyperliquid.
A case study in securing calls between smart contracts using the Parity wallet.
🔍 Enhance your circuit verification with Lighter Prover, a streamlined tool for efficient theorem proving and logical reasoning.