Rust encryption library for practical time-lock encryption.
☆39Jun 23, 2026Updated 2 weeks ago
Alternatives and similar repositories for tlock-rs
Users that are interested in tlock-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Implementation of a drand client in Rust☆31Jun 23, 2026Updated last week
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated last month
- ☆11Jul 17, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A rust implementation of the Falcon post-quantum signature scheme☆28Jun 20, 2026Updated 2 weeks ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Compare Bloxroute and Fiber transaction streams☆10Nov 22, 2024Updated last year
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 3 years ago
- ☆13Jul 30, 2025Updated 11 months ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆13Feb 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Delve into low-level RISC Zero machine☆31Dec 25, 2023Updated 2 years ago
- Zig EVM☆35Nov 22, 2025Updated 7 months ago
- ☆14Feb 7, 2023Updated 3 years ago
- Common MPC Pitfalls☆20Jun 24, 2026Updated last week
- ☆10Apr 27, 2023Updated 3 years ago
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 2 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- Cryptography In Rust For Hackers☆23Feb 28, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An onchain tournament for bots, inspired by Pac-Man and Agar.io.☆44Jun 2, 2025Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Minimal pi coding-agent re-implementation in Zig☆91Apr 2, 2026Updated 3 months ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 3 years ago
- ☆17Apr 14, 2022Updated 4 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- Monitor Claude Code activity across multiple Zellij panes in real-time via zjstatus.☆40Jan 13, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated 2 years ago
- no matter what you are resisting here is a dose of opsec for you... godspeed☆21Mar 8, 2025Updated last year
- spec for API monetisation using blockchain + stablecoins instead of API keys☆35Mar 18, 2026Updated 3 months ago
- ☆31May 20, 2025Updated last year
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- A small, hackable, optimized framework for learning quantum computing with examples.☆14Jul 8, 2020Updated 5 years ago