Highlights
- Pro
Starred repositories
A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber
A ready-to-use anonymous voting system based on Semaphore zero-knowledge group management library
Formalization of hashtables with Radix trees and PArray in Coq
Rust implementation for Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics
Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…
Introduction to modern cryptography
Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
Formalizing risk-limiting audit degradation.
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
bnb-chain / gnark-setup
Forked from Consensys/gnarkgnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Make agents prove that their code is correct.
An alternative to Rocq's inversion focused on reducing the generated term's size and eliminating equality hypotheses.
AI prompts for accelerating the research workflow.
🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!
A homepage for the Fall 2022 Modern Cryptography Class
TLS 1.3, 1.2, 1.1, 1.0, SSL 3.0 pcapng files
Hundreds of models & providers. One command to find what runs on your hardware.
Keep it Simple, Stupid AI Agent Framework with a General-Purpose and Software Engineering Assistant, called KISS Sorcar.