Rust encryption library for practical time-lock encryption.
☆40Jul 13, 2026Updated 3 months 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☆32Oct 13, 2026Updated 2 weeks ago
- Aggregated trace viewer built on Grafana's Tempo.☆11Sep 21, 2026Updated last month
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 6 months ago
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Slides and other working group materials☆11Feb 5, 2024Updated 2 years ago
- High Assurance Cryptographic Software☆10Sep 1, 2026Updated last month
- ☆12Oct 4, 2023Updated 3 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- Witness encryption for KZG openings☆35Nov 6, 2024Updated last year
- A high-throughput Solana Geyser plugin for real-time blockchain data ingestion using ClickHouse as its columnar data store☆18Oct 24, 2025Updated last year
- ☆12Sep 11, 2024Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Compare Bloxroute and Fiber transaction streams☆10Nov 22, 2024Updated last year
- ☆12Jul 30, 2025Updated last year
- Threshold ECDSA via Triples☆86Apr 5, 2024Updated 2 years ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆33Jul 8, 2022Updated 4 years ago
- ☆14Sep 28, 2020Updated 6 years ago
- ☆34Nov 22, 2023Updated 2 years ago
- ☆11Apr 2, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- A mixer for Substrate using multiple zero-knowledge backends.☆35Oct 13, 2026Updated 2 weeks ago
- ☆13Feb 16, 2025Updated last year
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 8 months ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"☆12Feb 8, 2024Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust .☆140Sep 9, 2025Updated last year
- ☆10Apr 27, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Delve into low-level RISC Zero machine☆31Dec 25, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆30Feb 2, 2023Updated 3 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Dec 20, 2022Updated 3 years ago
- Leighton-Micali Hash-Based Signatures, for Go☆14Feb 18, 2025Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 3 years ago