39 Repositories
Rust signature-verification Libraries
Convenience crate for verifying crypto-signed messages
signature-verifier This crate provide an easy way to verify Solana and Ethereum wallet-signed messages. Installation Add the crate to your Cargo.toml
dWallet Network, a composable modular signature network is the home of dWallets
Welcome to dWallet Network dWallet Network, a composable modular signature network is the home of dWallets. A dWallet is a noncollusive and massively
Flexible secp256k1 curve math library.
secp A flexible and secure secp256k1 elliptic curve math library, with constant-time support, and superb ergonomics. secp takes full advantage of Rust
specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
Zprize: High Throughput Signature Verification How fast do you think you can verify our ECDSA signatures on Aleo? This year's Zprize is winner-take-al
Implemented reverse-engineered signature algorithm to successfully register with Apple's caching server.
View as English 项目描述 本项目通过逆向得到苹果缓存服务器的签名算法,并可以成功注册缓存服务。算法分为两种运行模式。 运行模式 直接运行(x64): 效率较高,但只支持64位CPU。已测试可运行在Windows/Linux/macOS上。 模拟器运行: 兼容性极高,支持所有CPU架构
Harness the power of signify(1) to sign arbitrary git objects
git-signify A tool to sign arbitrary objects in a git repository. Generating keys Signing keys can be generated with signify, from the OpenBSD project
Bring the power of pre-signed URLs to your apps. Signway is a gateway for redirecting authentic signed URLs to the requested API
A gateway that proxies signed requests to other APIs. Check the docs for more info. If you are looking for the managed version checkout this link http
High-performance, lock-free local and concurrent object memory pool with automated allocation, cleanup, and verification.
Opool: Fast lock-free concurrent and local object pool Opool is a high-performance Rust library that offers a concurrent and local object pool impleme
Tooling and library for generation, validation and verification of supply chain metadata documents and frameworks
Spector Spector is both tooling and a library for the generation, validation and verification of supply chain metadata documents and frameworks. Many
A Python package written in Rust for email verification without sending any emails.
PyRustify PyRustify is a Python package written in Rust that verifies the email addresses. Features Feature Description Syntax validation Checks if th
Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem
Cove This repo contains the backend verification1 code for Cove, a simple, reliable, open-source contract verification built for an L2 centric Ethereu
Validity is a next-generation, deduction-based language for formally verified, context-aware, autonomous & reactive smart contracts.
Validity Language Validity is a next-generation, deduction-based language for formally verified, context-aware, autonomous & reactive smart contracts.
RSA dependency for rust, with cert verification
About Project End to End encryption (RSA) for multiple languages (cross-platform) with double encryption and double decryption methods Icon Item 🥳 Up
A general solution for commonly used crypt in rust, collection of cryptography-related traits and algorithms.
Crypto-rs A general solution for commonly used crypt in rust, collection of cryptography-related traits and algorithms. This is a Rust implementation
A certificate verification library for rustls that uses the operating system's verifier
rustls-platform-verifier A Rust library to verify the validity of TLS certificates based on the operating system's certificate facilities. On operatin
A tool to optimize your Solidity function signatures.
sigop A CLI tool to optimize your Solidity function signatures. I wanted to create this after seeing transmissions11's comment about this optimization
A certificate verification library for rustls that uses the operating system's verifier
rustls-platform-verifier A Rust library to verify the validity of TLS certificates based on the operating system's certificate facilities. On operatin
Simple PoC to issue JSON Web Tokens (JWTs) with a canister on the Internet Computer.
JWT Issuer Proof of Concept Overview Simple PoC to issue JSON Web Tokens (JWTs) with a canister on the Internet Computer. It allows the issuance of tw
A minimalistic cross-platform malware scanner with non-blocking realtime filesystem monitoring using YARA rules.
Sauron is a minimalistic, YARA based malware scanner with realtime filesystem monitoring written in Rust. Features Realtime scan of created and modifi
An ECDSA threshold signature algorithm implemented in Rust.
Open TSS This project is a Rust implementation of multi-party {t,n}-threshold signature scheme(TSS). The current version of this library supports ECDS
ECDSA Signature Server
Simple REST API used for serving ECDSA signatures to prevent automation software from minting NFTs in bulk.
Rust-verification-tools - RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust verification tools This is a collection of tools/libraries to support both static and dynamic verification of Rust programs. We see static verifi
Shellfirm - Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification
shellfirm Opppppsss you did it again? 😱 😱 😰 Protect yourself from yourself! rm -rf * git reset --hard before saving? kubectl delete ns which going
sg = Steam Guard, access sg verification code locally.
Steam Guard CLI Access your Steam Guard token locally. Credit https://github.com/steevp/UpdogFarmer/blob/master/app/src/main/java/com/steevsapps/idled
Cryptographic signature algorithms: ECDSA, Ed25519
RustCrypto: signatures Support for digital signatures, which provide authentication of data using public-key cryptography. All algorithms reside in th
Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
Multi-party ECDSA This project is a Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm). Threshold ECDSA include
Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific
MLSAG This is a pure Rust implementation of the Multilayered Linkable Spontaneous Anonymous Group construction. This implementation has not been revie
Simple verification of Rust programs via functional purification in Lean 2(!)
electrolysis About A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover. Masters thesis: Simple
Independent verification of binary packages - reproducible builds
rebuilderd(1) Independent verification system of binary packages. Accessing a rebuilderd instance in your browser Scripting access to a rebuilderd ins
An implementation of NZ COVID Pass verification written in Rust
NZCP Rust An implementation of NZ COVID Pass verification, New Zealand's proof of COVID-19 vaccination solution, written in Rust 🦀 We also have a J
Cover is an open internet service for canister code verification on the Internet Computer
Cover Cover (short for Code Verification) is an open internet service that helps verify the code of canisters on the Internet Computer. Visit our webs
Finds matching solidity function signatures for a given 4 byte signature hash and arguments.
Finds matching solidity function signatures for a given 4 byte signature hash and arguments. Useful for finding collisions or 0x00000000 gas saving methods (though there are better techniques for saving gas on calldata)
R1CS circuit for Falcon signature verification.
Falcon R1CS This crate generates the R1CS circuit for Falcon signature verifications. Performance The total #constraints for a single Falcon-512 signa
`decaf377-rdsa` is a randomizable signature scheme using the `decaf377` group.
decaf377-rdsa is a variant of RedDSA, instantiated using the decaf377 group. Signatures are parameterized by domain (for instance, Binding and SpendAu
Pure Rust implementation of the Leighton Micali Signature scheme.
Leighton-Micali Hash-Based Signatures LMS implementation in Rust according to the IETF RFC 8554. This implementation is binary compatible with the ref
Drop-in Access Control via NFT Ownership
niftygate - Signature-Based Authenticating Proxy What is it? niftygate is a proxy for HTTP services, that validates signatures, providing an AuthN lay
Check if an email address exists without sending any email, written in Rust.
Check if an email address exists without sending any email, written in Rust.
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Le marteau-pilon, forges et aciéries de Saint-Chamond, Joseph-Fortuné LAYRAUD, 1889 About Creusot is a tool for deductive verification of Rust code. I
Fast and efficient ed25519 signing and verification in Rust.
ed25519-dalek Fast and efficient Rust implementation of ed25519 key generation, signing, and verification in Rust. Documentation Documentation is avai