blob: eefe0d1a935f7b42d918e4f433f5062db375daa7 (
plain)
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
|
// Copyright (C) 2019-2023 Algorand, Inc.
// This file is part of go-algorand
//
// go-algorand is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as
// published by the Free Software Foundation, either version 3 of the
// License, or (at your option) any later version.
//
// go-algorand is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with go-algorand. If not, see <https://www.gnu.org/licenses/>.
package stateproof
import (
"github.com/algorand/go-algorand/crypto"
)
// HashType/ hashSize relate to the type of hash this package uses.
const (
HashType = crypto.Sumhash
HashSize = crypto.SumhashDigestSize
precisionBits = uint8(16) // number of bits used for log approximation. This should not exceed 63
ln2IntApproximation = uint64(45427) // the value of the ln(2) with 16 bits of precision (i.e ln2IntApproximation = ceil( 2^precisionBits * ln(2) ))
MaxReveals = 640 // MaxReveals is a bound on allocation and on numReveals to limit log computation
// VersionForCoinGenerator is used as part of the seed for Fiat-Shamir. We would change this
// value if the state proof verifier algorithm changes. This will allow us to make different coins for different state proof verification algorithms
VersionForCoinGenerator = byte(0)
// MaxTreeDepth defines the maximal size of a merkle tree depth the state proof allows.
MaxTreeDepth = 20
// MessageHashType is the type of hash used to generate MessageHash
MessageHashType = crypto.Sha256
)
|