si-commitment-scheme 0.1.0

Pedersen commitments, Blake3-based polynomial commitments, batch opening/verification with binding and hiding properties
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

# commitment-scheme

Pedersen commitments, Blake3-based polynomial commitments, batch opening/verification,
and binding/hiding property verification in Rust.

## Features

- **Pedersen commitments** — over Curve25519 (Ristretto), homomorphic
- **Polynomial commitments** — Blake3-based with evaluation proofs
- **Batch commitments** — commit and verify multiple values at once
- **Binding verification** — test computational binding property
- **Hiding verification** — test statistical hiding property

## Usage

```rust
use si_commitment_scheme::{PedersenCommitment, PedersenParams};
use curve25519_dalek::scalar::Scalar;

let params = PedersenParams::default();
let value = Scalar::from(42u64);

let (commitment, opening) = PedersenCommitment::commit(&params, &value);
assert!(PedersenCommitment::verify(&params, &opening, &commitment));
```

## License

MIT OR Apache-2.0