capyCRYPT - Complete Rust Cryptography Suite
A powerful Rust cryptosystem implementing AES, SHA-3, ML-KEM, and Ed448 for advanced encryption, hashing, and quantum-safe message exchange.
Ed448-Goldilocks
A high-performance Rust implementation of the Ed448-Goldilocks elliptic curve. Designed for secure Schnorr signatures and Diffie-Hellman (DH) operations, it features fixed-time scalar multiplications and optimized group operations, ensuring resistance to side-channel attacks.
Blind RSA: Zero-Knowledge Signature Verification
Solve the impossible: Verify a signature and a secret message without ever seeing them. This project implements a zero-knowledge proof system for RSA signatures, allowing blind validation through clever use of RSA's partially-homomorphic properties.
Designed as a secure, fixed-time implementation using crypto-bigint, this project showcases advanced cryptographic techniques and blinding protocols for secure verification.
Arithmetic Circuit Framework
A Rust-based framework for constructing and evaluating arithmetic circuits with support for dynamic operations, parallel computation, and verification through equality constraints. This tool is ideal for cryptographic schemes and complex algorithm simulations.
Featuring dynamic circuit construction, custom gate integration, and parallel evaluation, it achieves high performance and adaptability. It supports cryptographic use cases such as incrementally verifiable computing and securely evaluates circuits of millions of gates in seconds.
Use this framework to explore efficient and secure circuit computations while leveraging the advantages of parallel layered processing. As Wahby et al. demonstrated, such approaches are critical for scalable and efficient argument systems.
OCaml Extended Euclidian Algorithm
A minimalist implementation of the Extended Euclidian Algorithm in OCaml, designed to showcase the elegance and power of functional programming languages. This project highlights how simple algorithms can be expressed cleanly and efficiently using functional paradigms.
Perfect for those exploring the intersection of mathematics and programming, this project serves as both an educational tool and a celebration of OCaml's capabilities.