-
-
lelele Public
LeLeLe: A tool to simplify the application of Lattice attacks.
-
yabae Public
A tiny Rust program to replicate the desktop behavior of i3 using Yabai on MacOS
-
-
halo2club.github.io Public
Forked from halo2club/halo2club.github.ioMIT License UpdatedJan 30, 2025 -
awesome-halo2 Public
Forked from adria0/awesome-halo2List of halo2-related resources
UpdatedJan 30, 2025 -
extensions Public
Forked from zed-industries/extensionsExtensions for the Zed editor
JavaScript UpdatedDec 11, 2024 -
-
research-we-kzg Public
Witness encryption for KZG openings
-
git-ring Public
Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.
-
-
pblind Public
An implementation of a partially blind signature scheme based on elliptic curves
-
snarkVM Public
Forked from ProvableHQ/snarkVMA Virtual Machine for Zero-Knowledge Executions
Rust Apache License 2.0 UpdatedSep 27, 2023 -
ec-gpu Public
Forked from filecoin-project/ec-gpuOpenCL code generator for finite-field arithmetic over arbitrary prime fields
Rust Other UpdatedJun 8, 2023 -
-
research-branching-mpc Public
An implementation of the semi-honest protocols from "Communication Efficient Secure Multiparty Computation for Conditional Branches".
-
-
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedJun 21, 2022 -
rug-binserial Public
A very simple crate to serialize rug integers as strings of bytes (for use in efficient binary serialization)
-
lattigo Public
Forked from tuneinsight/lattigoA library for lattice-based homomorphic encryption in Go
Go Apache License 2.0 UpdatedOct 2, 2021 -
swanky Public
Forked from GaloisInc/swankyA suite of rust libraries for secure multi-party computation
-
Wargames Public
Solutions to CTF challenges / wargames / hacking challenges
-
cpsnarks-set-accumulator Public
Forked from matteocam/cpsnarks-set-accumulator -
cpsnarks-set Public
Forked from matteocam/cpsnarks-setRust library for efficient, succinct and modular set membership and non-membership proofs
Rust Apache License 2.0 UpdatedApr 13, 2021 -
research-stacksig Public
Ring signatures from Stacking Sigma
-
hjul Public
Simple and efficient timer library, build directly on top of mio
Rust UpdatedMay 22, 2020 -
everrs Public
Rust bindings for HACL* / EverCrypt (high assurance crypto)
-
probset Public
A (Rust/Wasm) web application for calculating optimal parameters for various probabilistic filters.
Rust UpdatedMar 28, 2020 -
aes-atmega328-glitching Public
Files for the AES + Atmega328 differential fault injection post
-
portage Public
An implementation of replica encodings without timing assumptions.