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.
Обновлено 1 неделя назад
A crate to automatically create protocols that use CMZ14 or µCMZ credentials, by specifying an extremely compact description of the protocol.
Обновлено 1 неделя назад
Обновлено 4 недель назад
The artifact for our USENIX Security paper
Обновлено 1 месяц назад
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.
Обновлено 3 месяцев назад
Обновлено 3 месяцев назад
Data analysis related to the Tor blocking events in Belarus from 2020-2021
Обновлено 3 месяцев назад
Troll Patrol extension to Lox, forked from https://gitlab.torproject.org/onyinyang/lox/-/tree/lox-extension
Обновлено 4 месяцев назад
Обновлено 6 месяцев назад
A fork of https://github.com/openfheorg/openfhe-python to add some missing functionality
Обновлено 11 месяцев назад
A fork of https://github.com/fairmath/openfhe-rs to add some missing functionality
Обновлено 11 месяцев назад
The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System
Обновлено 1 год назад
Our dockerization of the https://github.com/ucsc-anonymity/sparta-experiments repository
Обновлено 1 год назад
System for automatically detecting when Tor bridges have been blocked by censors
Обновлено 1 год назад
Web-based network simulator for teaching hacking to high schoolers (fork of https://github.com/errorinn/netsim)
Обновлено 1 год назад
System for automatically detecting when Tor bridges have been blocked by censors
Обновлено 1 год назад
Scripts for modifying mnettools experiments to add simulated messenger traffic using MGen.
Обновлено 2 лет назад