snarkvm-parameters 0.7.7

Parameters for a decentralized virtual machine
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

# snarkvm-parameters

[![Crates.io](https://img.shields.io/crates/v/snarkvm-parameters.svg?color=neon)](https://crates.io/crates/snarkvm-parameters)
[![Authors](https://img.shields.io/badge/authors-Aleo-orange.svg)](https://aleo.org)
[![License](https://img.shields.io/badge/License-GPLv3-blue.svg)](./LICENSE.md)

The Aleo parameters.

## Commitment 

### Account Commitment

The Pedersen commitment parameters used to construct an Account View Key from an Account Private Key.

### Local Data Commitment

The Pedersen commtiemnt parameters used to construct local data commitment leaves for the local data Merkle tree.

### Record Commitment

THe Pedersen commitment parameters used to construct record commitments.

## CRH

### Encrypted Record CRH

The Bowe-Hopwood Pedersen CRH parameters used to establish the encrypted record hashes used to verify the validity of the encrypted records.

### Inner Circuit ID CRH

The Bowe-Hopwood Pedersen CRH parameters used to compute the inner circuit ID.

### Ledger Merkle Tree

The Bowe-Hopwood Pedersen CRH parameters used to construct the record commitment Merkle tree. 

### Local Data CRH

The Bowe-Hopwood Pedersen CRH parameters used to create the local data commitment Merkle tree.

### Program Verification Key CRH

The Bowe-Hopwood Pedersen CRH parameters used to establish program IDs by hashing Program SNARK verifying keys.

### Serial Number Nonce CRH

The Bowe-Hopwood Pedersen CRH parameters used to construct the serial number nonces for records.

## Encryption 

### Account Encryption

The Group Encryption parameters used to establish the Account Addresses and encrypt records.

## Signature

## Account Signature

The Schnorr signature parameters used to authorize delegation of transaction generation.

## SNARK

### Inner SNARK

The Groth16 proving key and verifying key for the InnerSNARK.

### Outer SNARK

The Groth16 proving key and verifying key for the OuterSNARK.

### Noop Program SNARK

The GM17 proving key and verifying key for the Noop Program SNARK.

### POSW SNARK

The Marlin proving key and verifying key for the Proof of Succinct Work SNARK.