This is a port in the arkwork framework of the original implementation in bellperson of Snarkpack.

Nicolas Gailly

Last update: Aug 5, 2022

Related tags

Cryptography snarkpack

Overview

Snarpack on arkwork

This is a port in the arkwork framework of the original implementation in bellperson of Snarkpack. Note both works are derived from the original arkwork implementation of the inner pairing product argument (IPP) paper.

Dependency

Add the following to your Cargo.toml

snarkpack = { git = "https://github.com/nikkolasg/snarpack" }

Usage

See the straightforward example in tests/aggregation.rs.

Contribution

There are plenty of issues to tackle so you're more than welcome to contribute.

Comments

Avoid cloning reference manually for sharing channel

Currently the par! macro forces us to clone the references to the channel where we send the PairingCheck to, like in here. It would be nice to find a more elegant way for this.
enhancement

opened by nikkolasg 0
Review affine/projective usage

For simplicity, everything is put as Affine in the proof. Maybe some elements would benefits from being in projective form, a more in-depth review would be welcomed and any documentation on why each choice is best as well.
documentation

opened by nikkolasg 0
Parallel version of fixed and variable base MSM

This implementation makes heavy usage of parallelization and thus a parallel implementation of those two algorithms would drastically improve the verification speed, as it is done on the original bellperson implementation.
performance

opened by nikkolasg 0
Review challenge generation
Currently the way the transcript works is done accordingly to the bulletproof usage of Merlin transcript which differs from the regular arkwork. A couple of things to review and adapt:

it takes 64 bytes of output from the hash function currently, maybe arkwork does it differently

it tries to see if there is an inverse first, but doesn't return it, leading to two inversion sometimes (because we need the inverse)

bug
opened by nikkolasg 0
Use precomputed tables for fixed based MSM

Currently there is no pre-computation for the prover SRS, while he has to perform expensive MSM. We should use the available fixed based msm feature of arkwork from here
performance

opened by nikkolasg 0

Owner

Nicolas Gailly

Security blabla. 0522CEE1152EDA6E6658757574A11EE3EE6B320F

GitHub

A Rust port of the password primitives used in Django Project.

Rust DjangoHashers A Rust port of the password primitives used in Django Project. Django's django.contrib.auth.models.User class has a few methods to

52 Nov 17, 2022

Generate or convert random bytes into passphrases. A Rust port of niceware.

niceware My blog post: Porting Niceware to Rust A Rust port of niceware. Sections of this README have been copied from the original project. This libr

20 Sep 7, 2022

Port path module (and tests) of nodejs to rust using the same algorithms.

rusty_nodejs_path Port path module (and tests) of nodejs to rust using the same algorithms. crates.io Documents Progress posix path.basename(path[, ex

10 Sep 25, 2022

A Rust port of the password primitives used in Django Project.

Rust DjangoHashers A Rust port of the password primitives used in Django Project. Django's django.contrib.auth.models.User class has a few methods to

52 Nov 17, 2022

A port of TinySMPC into Rust.

smol-mpc Smol-mpc is a tiny library to learn Secure Multiparty Computation (MPC) basics using the Rust programming language. Smol-mpc allows to the us

13 Sep 22, 2023

Node implementation for aleph blockchain built with Substrate framework

This repository contains the Rust implementation of Aleph Zero blockchain node based on the Substrate framework. Aleph Zero is an open-source layer 1

55 Dec 15, 2022

Implementation of Proof of Existence consensus using Substrate Framework, Frame, Pallets, RUST

Substrate Node Template A fresh FRAME-based Substrate node, ready for hacking ?? Getting Started Follow the steps below to get started with the Node T

1 Jun 8, 2022

A Rust implementation of OpenAI's Whisper model using the burn framework

Whisper Burn: Rust Implementation of OpenAI's Whisper Transcription Model Whisper Burn is a Rust implementation of OpenAI's Whisper transcription mode

19 Jul 24, 2023

Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.

Themis provides strong, usable cryptography for busy people General purpose cryptographic library for storage and messaging for iOS (Swift, Obj-C), An