Security Lab // Alexandra Institute

fresco

A FRamework for Efficient Secure COmputation

fresco-outsourcing

Tools to work with FRESCO in the outsourced MPC setting

bulletproofcoffee

fresco-bench

Benchmarking utilities for FRESCO

fresco-kotlin-applications

Utilizes the Kotlin language to overload and create new operators which makes it possible to create a domain-specific language for FRESCO applications. This makes MPC look like ordinary math.

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

fresco-bgw

An implementation of the BGW protocol for secure multi-party computation for the FRESCO framework in the semi-honest setting.

fresco-dp

Library for differentially private secure computations using the FRESCO framework.

fresco-matrix

Experiments with using the matrix framework with FRESCO

fresco-samples

A set of very small sample FRESCO programs.