aadomn
Follow
Lists (1)
Stars
A curated list of multi party computation resources and links.
Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtual machine, prover, and verifier.
Compute the stack used by each of your functions (via GCC's `-fstack-usage` and call-graph tracing)
Tutorial for STARKs with supporting code in python
This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function
Source repo for Upgrading Ethereum, A technical handbook on Ethereum's move to proof of stake and beyond.
Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
A silent threshold encryption scheme, which does not require any interaction during the setup phase.
Utilities and tools for AMD SEV memory encryption technologies
Open Source Implemenation of Secure SEV-SNP bootup workflow
Protected implementations of the AEGIS authentication algorithms for platforms without hardware AES support.
Recommended C code style and coding rules for standard C99 or later
Source code related to the Eurocrypt 2017 paper "How Fast Can Higher-Order Masking Be in Software?"
Interactive documentation on zero-knowledge proof systems and related primitives.
Charon (pronounced 'kharon') is a Proof of Stake Ethereum Distributed Validator Client
A curated list of awesome security resources for ZK.
A curated list of open-source projects that help exploit Intel SGX technology
A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.
A repository with examples for each tricks used in software polynomial multiplication works.