From 8da2ea6250d87c7db14292304b3bb1f569ae4173 Mon Sep 17 00:00:00 2001 From: Pratyush Mishra Date: Mon, 12 Aug 2019 18:16:29 -0700 Subject: [PATCH] Update README --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 897901a..03c8d50 100644 --- a/README.md +++ b/README.md @@ -32,11 +32,14 @@ This repository contains several Rust crates that implement the different buildi * [`algebra`](algebra): Rust crate that provides finite fields and elliptic curves * [`dpc`](dpc): Rust crate that implements DPC schemes (the main cryptographic primitive in this repository) -* [`snark`](snark): Rust crate that provides succinct zero-knowledge arguments -* [`snark-gadgets`](snark-gadgets): Rust crate that provides various gadgets used to construct constraint systems +* [`r1cs-core`](r1cs-core): Rust crate that defines core interfaces for a Rank-1 Constraint System (R1CS) +* [`r1cs-std`](r1cs-std): Rust crate that provides various gadgets used to construct R1CS +* [`gm17`](gm17): Rust crate that implements the zkSNARK of [Groth and Maller][GM17] In addition, there is a [`bench-utils`](bench-utils) crate which contains infrastructure for benchmarking. This crate includes macros for timing code segments and is used for profiling the building blocks of ZEXE. +[GM17]: https://ia.cr/2017/540 + ## Build guide The library compiles on the `stable` toolchain of the Rust compiler. To install the latest version of Rust, first install `rustup` by following the instructions [here](https://rustup.rs/), or via your platform's package manager. Once `rustup` is installed, install the Rust toolchain by invoking: