#bulletproofs #zero-knowledge #properties #crypto

no-std ark-bulletproofs

A pure-Rust implementation of Bulletproofs using secq256k1 and zorro

2 stable releases

4.1.1 May 12, 2023
4.0.0 Dec 28, 2022

#1962 in Cryptography

Download history 3/week @ 2023-12-17 13/week @ 2023-12-24 38/week @ 2023-12-31 3/week @ 2024-01-07 5/week @ 2024-02-11 77/week @ 2024-02-18 30/week @ 2024-02-25 27/week @ 2024-03-03 34/week @ 2024-03-10 14/week @ 2024-03-17 33/week @ 2024-03-24 51/week @ 2024-03-31

136 downloads per month
Used in 5 crates (4 directly)

MIT license

130KB
2.5K SLoC

Bulletproofs over the secq256k1 curve

This repo builds over Bulletproofs but replaces the Ristretto group with another group over the secq256k1 curve.

An important property of the secq256k1 curve is that it can embed secp256k1. A severe limitation, as a result, is that its scalar field does not have a lot of 2-arity, and therefore preventing a large class of protocols based on FFT to run on the native field.

There are only a few solutions we know today to circumvent this limitation: Bulletproofs, Gemini, and Orion. For this library, we use Bulletproofs.

Original About

This is a research project sponsored by Interstellar, developed by Henry de Valence, Cathie Yun, and Oleg Andreev.

Dependencies

~6.5MB
~109K SLoC