Project around cryptography.
-
Updated
Jun 8, 2024 - Java
Cryptography, or cryptology is the practice and study of techniques for secure communication in the presence of adversarial behavior. More generally, cryptography is about constructing and analyzing protocols that prevent third parties or the public from reading private messages.[
Project around cryptography.
A cryptographic framework, proven for correctness in SPARK
A UI based local password manager, built on top of https://customtkinter.tomschimansky.com
🍬 Trezor Suite Monorepo
A Python encryption library implemented in Rust. It supports AEAD with AES-GCM and ChaCha20Poly1305. It uses ring crate to handle encryption.
An encrypted file system in Rust that is mounted with FUSE on Linux. It can be used to create encrypted directories
Bitcoin Core integration/staging tree
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Declare your digital independence
LibrePass Android Application
The Bonyx Project. This is repository for starting a new cryptocurrency. Bonyx: the secure, private, untraceable cryptocurrency.
Cryptography topics made with Python
Simple file and stream encryption tool based on libsodium
TypeScript APIs for various Lysand services
Basic implementation of AES in C + Tutorial
Standalone, test-driven implementation of BIP-32, BIP-39, and BIP-85 optimized for usability and correctness
MiniBolt: a complete guide to building a Bitcoin & Lightning full node on a personal computer
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
A pure C library for interacting with the Cardano blockchain. Compliant with MISRA standards and binding-friendly architecture.