☆23Jul 28, 2026Updated last week
Alternatives and similar repositories for trailmix
Users that are interested in trailmix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Latex classes for IACR publications.☆15Jul 19, 2026Updated 2 weeks ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- Starknet application for Ledger Nano S, SP, X☆13Sep 7, 2022Updated 3 years ago
- Trust Registry Protocol Specification☆17Apr 23, 2026Updated 3 months ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆31Jan 17, 2018Updated 8 years 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.
- Vue.js boilerplate for interacting with StarkNet☆19Updated this week
- Practical Implementation of the Maurer Reduction☆11Jul 13, 2023Updated 3 years ago
- Detect patterns of bad behavior in function calls☆25Jul 21, 2020Updated 6 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆19Jul 2, 2026Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- Sending and receiving protobuf using NIO socket☆14Jan 24, 2026Updated 6 months ago
- ☆12Feb 19, 2019Updated 7 years ago
- ☆10Apr 20, 2023Updated 3 years ago
- ☆13Sep 6, 2021Updated 4 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.
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆18Apr 4, 2018Updated 8 years ago
- Vylepšenie NCZI očkovacieho formuláru☆11Mar 22, 2021Updated 5 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- A very fancy counter☆11Nov 19, 2024Updated last year
- Tools for attacking cryptographic implementations.☆21Oct 27, 2016Updated 9 years ago
- javacard framework in python☆21Nov 18, 2022Updated 3 years ago
- Tools for generating to and from wit format☆12Sep 6, 2024Updated last year
- ☆13Aug 7, 2023Updated 2 years ago
- Golang implementation of the BIP32/BIP39/BIP43/BIP44/SLIP44/BIP49/BIP84/BIP173 for creating and recoverying keys, mnemonic seeds and Hier…☆12Feb 7, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 9 months ago
- ☆14Feb 17, 2024Updated 2 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago
- See e.g. https://github.com/tonistiigi/binfmt for a replacement☆15Apr 1, 2021Updated 5 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 4 months ago
- ☆23Jun 12, 2025Updated last year
- Linear algebra-based Proof of Retrievability protocol for ensuring data integrity☆14Mar 28, 2022Updated 4 years ago
- Automate posts to BlueSky with Cloudflare Workers, Cron Triggers, Workers KV, and the Blue Sky API☆13Dec 13, 2024Updated last year
- programmable e-paper tag with RFID☆10Jul 12, 2023Updated 3 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.
- ☆15Feb 20, 2023Updated 3 years ago
- Zero Knowledge Proofs with Fiat-Shamir Heuristic in Solidity☆15Nov 25, 2024Updated last year
- A ImHex plugin to ask the almighty Oracle (OpenAI's Davinci AI) for help identifying file formats☆18Dec 4, 2022Updated 3 years ago
- Flask LDAP Authentication Tutorial☆15Feb 5, 2015Updated 11 years ago
- ☆17Mar 25, 2024Updated 2 years ago
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Mar 27, 2024Updated 2 years ago
- Amazon Athena to Redash Proxy app☆15Aug 8, 2017Updated 8 years ago