A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.
Updated 18 minutes ago
Crate for automatically generating code for sigma zero-knowledge proof protocols of more complex statements than are supported by the sigma-proofs crate. The statements given to this crate are compiled into statements about linear combinations of points, and transformed into the sigma-proofs API.
Updated 59 minutes ago
Updated 2 months ago
Source code for our paper "Solving Discrete Logarithms in Smooth-Order Groups with CUDA" from SHARCS 2012. The cuda-11.5 branch will compile on CUDA 11.5 and now runs with two A100 GPUs, though is perhaps not tuned optimally.
Updated 4 months ago
Updated 4 months ago
Data analysis related to the Tor blocking events in Belarus from 2020-2021
Updated 5 months ago
Troll Patrol extension to Lox, forked from https://gitlab.torproject.org/onyinyang/lox/-/tree/lox-extension
Updated 5 months ago
Updated 7 months ago
A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality
Updated 1 year ago
A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality
Updated 1 year ago
The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System
Updated 1 year ago
Our dockerization of the https://github.com/ucsc-anonymity/sparta-experiments repository
Updated 1 year ago
System for automatically detecting when Tor bridges have been blocked by censors
Updated 1 year ago
Web-based network simulator for teaching hacking to high schoolers (fork of https://github.com/errorinn/netsim)
Updated 1 year ago
System for automatically detecting when Tor bridges have been blocked by censors
Updated 2 years ago
Scripts for modifying mnettools experiments to add simulated messenger traffic using MGen.
Updated 2 years ago