Awesome

`swanky`: A suite of rust libraries for secure computation

swanky provides a suite of rust libraries for doing secure computation.

bristol-fashion: A parser for Bristol Fashion circuits.
diet-mac-and-cheese: A diet version of the Mac'n'Cheese protocol
fancy-garbling: A library for boolean and arithmetic garbling
fancy-garbling-base-conversion: Lookup tables useful for the fancy-garbling crate
humidor: A test-bed for Ligero-like protocols
inferno: An implementation of the Limbo zero knowledge proof protocol
keyed_arena: Bump allocator which allows for random access to its allocations
mac-n-cheese-compiler: A tool to compile a zero knowledge circuit to the mac n'cheese IR
mac-n-cheese-event-log: Utilities to define metrics for mac n'cheese
mac-n-cheese-inspector: A tool to inspect mac n'cheese IR files
mac-n-cheese-ir: The definition of the mac n'cheese IR
mac-n-cheese-runner: A tool to proof mac n'cheese IR files in zero-knowledge
mac-n-cheese-sieve-parser: A parser for SIEVE IR (a zero knoweldge proof circuit format)
mac-n-cheese-vole: An implementation of Vector Oblivious Linear Evaluation
mac-n-cheese-wire-map: An implementation of a sparse array
ocelot: A library for oblivious transfer protocols
popsicle: A library for private set intersection
schmivitz: A library for zero-knowledge protocols using VOLE-in-the-head
scuttlebutt: A library of useful multi-party computation utilities
simple-arith-circuit: Simple arithmetic circuit library
swanky-aes-rng: A random number generator based on AES-CTR.
swanky-channel: A channel abstraction to let users avoid manual flushing
swanky-field: Definitions of the core FiniteField and FiniteRing traits
swanky-field-binary: Binary finite (extension) fields
swanky-field-f61p: An implementation of GF(2^61-1)
swanky-field-ff-primes: Finite field implementations for large prime fields
swanky-field-fft: FFT implementations for finite fields
swanky-field-test: Utilitites for testing correctness of finite field implementations
swanky-flatbuffer-build: Tooling to automate compiling flatbuffer schemas
swanky-party: Support for types indexed by a party.
swanky-polynomial: Support for various representations of polynomials over finite fields
swanky-serialization: Traits and utilities for compact serialization into a canonical byte representation
vectoreyes: Cross-platform SIMD types and functions
web-mac-n-cheese-wasm: Web Mac'n'Cheese, the wasm part
web-mac-n-cheese-websocket: Web Mac'n'Cheese, the websocket part
zkv: Zero knowledge proofs for verilog files generated using saw / abc

2024-02-09 Projection gates in arithmetic garbled circuits have a proven security vulnerability in their design. The issue affects the fancy-garbling library and its dependencies (including popsicle). We are currently investigating the impact this bug has on Arithmetic Garbling (CRT) in swanky.

A note on security

swanky is currently research software. Do not deploy it in production, or trust it with sensitive data.

Please reach out to us at swanky@galois.com if you're interested in using Swanky in a production setting.

Using `swanky`

Preferred Way

The preferred way to use swanky is to fork this monorepo, and add your code to your fork. This approach makes it easy for your code to inherit the configuration of the swanky repo.

Alternative Way

It is also possible to use swanky as traditional Rust crates. The downside of this approach is that you won't automatically get the configuration of the swanky repo. swanky is only tested against the pinned rust version in the repository and the pinned dependency versions.

To use a swanky crate in your project, add the following line to the [dependencies] entry in Cargo.toml:

<crate-name> = { git = "https://github.com/GaloisInc/swanky", rev = "xxxxxx" }

where <crate-name> is one of the crates listed above and rev is the particular revision to use.

Note: As swanky is currently considered prototype software, it is best to pin a particular revision of swanky, as there is no guarantee that future versions of swanky will maintain backwards compatibility.

It is also advisable to copy over swanky's .cargo/config file, and to enable LTO in your release builds (lto = true in your Cargo.toml file).

Software Requirements

To compile Swanky, you should install and use Rust via rustup. The swanky repo will direct rustup to use the correct version of Rust.

The ./swanky tool automates some tasks in the codebase. For example, ./swanky lint will run the Swanky linting checks. In order to use this tool, you need to install the Nix package manager. You'll also need a python3 installation (no packages other than the standard library are required).

Citing `swanky`

If you use swanky in your academic paper, please cite it as follows:

@misc{swanky,
    author = {{Galois, Inc.}},
    title = {{swanky}: A suite of rust libraries for secure computation},
    howpublished = {\url{https://github.com/GaloisInc/swanky}},
    year = 2019,
}

License

MIT License

Contact

You can contact the swanky team at swanky@galois.com.

Acknowledgments

This material is based upon work supported in part by ARO, SSC Pacific, IARPA and DARPA under Contract Nos. W911NF-15-C-0227, N66001-15-C-4070, 2019-1902070006, and HR001120C0085.

Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the ARO, SSC Pacific, IARPA and DARPA. Distribution Statement ``A'' (Approved for Public Release, Distribution Unlimited).