Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/dignifiedquire/rust-accumulators
/ functions
Functions
86 in github.com/dignifiedquire/rust-accumulators
⨍
Functions
86
◇
Types & classes
15
↓ 14 callers
Function
modpow_uint_int
Calculates a ^ e % n.
src/math.rs:24
↓ 13 callers
Method
add
(&mut self, x: &BigUint)
src/accumulator.rs:68
↓ 11 callers
Method
mem_wit_create
(&self, x: &BigUint)
src/accumulator.rs:81
↓ 9 callers
Function
map_i_to_p_i
(i: usize)
src/vc/binary.rs:194
↓ 7 callers
Function
hash_binary
(m: &BigUint, lambda: usize)
src/vc/general.rs:126
↓ 6 callers
Method
batch_add
(&mut self, xs: &[BigUint])
src/accumulator.rs:140
↓ 6 callers
Function
ni_poe_prove
NI-PoE Prove Assumes `u^x = w` All operations are `mod n`.
src/proofs.rs:18
↓ 5 callers
Function
ni_poe_verify
NI-PoE Verify Assumes `u^x = w` All operations are `mod n`.
src/proofs.rs:38
↓ 5 callers
Method
state
Returns the current public state.
src/accumulator.rs:40
↓ 4 callers
Method
open
(&self, b: &Self::Domain, i: usize)
src/vc/binary.rs:67
↓ 3 callers
Method
commit
(&mut self, m: &[Self::Domain])
src/vc/binary.rs:55
↓ 3 callers
Method
commit
Internally we map the incoming integers onto a binary vc in the following way ms: [a, b, c] a' = hash_binary(a), b' .. vc[a'..., b'..., c'...]
src/vc/general.rs:47
↓ 3 callers
Method
open
(&self, b: &Self::Domain, i: usize)
src/vc/general.rs:55
↓ 3 callers
Function
shamir_trick
Calculates the `(xy)`-th root of `g`, given the `x`-th root and `y`-th root of `g.` Operations are `mod n`.
src/math.rs:51
↓ 3 callers
Method
ver_mem
(&self, w: &BigUint, x: &BigUint)
src/accumulator.rs:94
↓ 2 callers
Method
batch_open
(&self, b: &[Self::Domain], is: &[usize])
src/vc/general.rs:71
↓ 2 callers
Method
del
(&mut self, x: &BigUint)
src/accumulator.rs:101
↓ 2 callers
Method
mem_wit_create_star
(&self, x: &BigUint)
src/accumulator.rs:241
↓ 2 callers
Function
ni_poke2_prove
NI-PoKE2 Prove assumes `u^x = w` All operations are `mod n`.
src/proofs.rs:64
↓ 2 callers
Method
non_mem_wit_create
(&self, x: &BigUint)
src/accumulator.rs:115
↓ 2 callers
Method
non_mem_wit_create_star
( &self, x: &BigUint, )
src/accumulator.rs:284
↓ 2 callers
Function
root_factor
Given `y = g^x` and `x = \prod x_i`, calculates the `x_i`-th roots, for all `i`. All operations are `mod n`.
src/math.rs:83
↓ 1 callers
Method
agg_mem_wit
( &self, w_x: &BigUint, w_y: &BigUint, x: &BigUint, y: &BigUint, )
src/accumulator.rs:215
↓ 1 callers
Method
batch_del
(&mut self, pairs: &[(BigUint, BigUint)])
src/accumulator.rs:166
↓ 1 callers
Method
batch_open
(&self, b: &[Self::Domain], i: &[usize])
src/vc/binary.rs:94
↓ 1 callers
Method
batch_verify
(&self, b: &[Self::Domain], is: &[usize], pi: &Self::BatchCommitment)
src/vc/general.rs:87
↓ 1 callers
Method
create_all_mem_wit
(&self, set: &[BigUint])
src/accumulator.rs:211
↓ 1 callers
Method
del_w_mem
(&mut self, w: &BigUint, x: &BigUint)
src/accumulator.rs:198
↓ 1 callers
Method
mem_wit_x
( &self, _other: &BigUint, w_x: &BigUint, w_y: &BigUint, _x: &BigUint,
src/accumulator.rs:253
↓ 1 callers
Function
ni_poke2_verify
NI-PoKE2 Verify assumes `u^x = w` All operations are `mod n`
src/proofs.rs:103
↓ 1 callers
Function
pow_assign
Calculates a = a.pow(b). TODO: this can be speed up using various techniques, like precomputations.
src/math.rs:10
↓ 1 callers
Method
state
(&self)
src/vc/binary.rs:175
↓ 1 callers
Function
test_batch_add_size
(size: usize)
src/accumulator.rs:503
↓ 1 callers
Method
update
(&mut self, b: &Self::Domain, b_prime: &Self::Domain, i: usize)
src/vc/binary.rs:183
↓ 1 callers
Method
update
(&mut self, b: &Self::Domain, b_prime: &Self::Domain, i: usize)
src/vc/general.rs:109
↓ 1 callers
Method
ver_batch_add
(&self, w: &BigUint, root: &BigUint, xs: &[BigUint])
src/accumulator.rs:157
↓ 1 callers
Method
ver_mem_star
(&self, x: &BigUint, pi: &(BigUint, BigUint))
src/accumulator.rs:249
↓ 1 callers
Method
ver_non_mem
(&self, w: &(BigUint, BigInt), x: &BigUint)
src/accumulator.rs:126
↓ 1 callers
Method
ver_non_mem_star
( &self, x: &BigUint, pi: &(BigUint, BigUint, (BigUint, BigUint, BigInt), BigUint),
src/accumulator.rs:319
Method
batch_verify
(&self, b: &[Self::Domain], i: &[usize], pi: &Self::BatchCommitment)
src/vc/binary.rs:139
Function
bench_add_1
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:29
Function
bench_batch_add_1
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:61
Function
bench_mem_wit_create_1
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:38
Function
bench_square
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:117
Function
bench_ver_batch_add_1
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:70
Function
bench_ver_mem_1
(c: &mut Criterion)
benches/accumulators_benchmarks.rs:50
Function
create_vector_commitment
( lambda: usize, n: usize, )
src/vc/general.rs:10
Method
generate_primes
Based on https://github.com/RustCrypto/RSA/blob/master/src/algorithms.rs
src/group/rsa.rs:13
Function
hash_group
Hash the given numbers into the given group. Only works for `OutputSize >= |n|`.
src/hash.rs:25
Function
hash_prime
Hash the given numbers to a prime number. Currently uses only 128bits.
src/hash.rs:13
Function
nonce_hash
Nonce based Hash to prime Prover provide a nonce such that H(nonce|| DATA ) = l with l ∈ Primes(λ). Verification becomes a constant time operation whi
src/hash.rs:42
Function
none
(_c: &mut Criterion)
benches/accumulators_benchmarks.rs:98
Method
setup
Generates a group of unknown order and initializes the group with a generator of that group. Setup(λ, z) → pp, A0 Generate the public parameters
src/accumulator.rs:46
Method
setup
(rng: &mut R, lambda: usize, n: usize)
src/vc/binary.rs:42
Method
setup
(rng: &mut R, lambda: usize, n: usize)
src/vc/general.rs:31
Method
state
(&self)
src/vc/general.rs:103
Function
test_aggregation
()
src/accumulator.rs:602
Function
test_aggregation_non_mem_star
()
src/accumulator.rs:671
Function
test_batch_add_large
()
src/accumulator.rs:570
Function
test_batch_add_small
()
src/accumulator.rs:563
Function
test_binary_vc_basics
()
src/vc/binary.rs:209
Function
test_binary_vc_batch
()
src/vc/binary.rs:237
Function
test_binary_vc_update
()
src/vc/binary.rs:257
Function
test_dynamic
()
src/accumulator.rs:386
Function
test_general_vc_basics
()
src/vc/general.rs:143
Function
test_general_vc_batch
()
src/vc/general.rs:160
Function
test_general_vc_update
()
src/vc/general.rs:179
Function
test_hash_group
()
src/hash.rs:93
Function
test_hash_nonce
()
src/hash.rs:107
Function
test_hash_prime
()
src/hash.rs:80
Function
test_math_non_mempership
()
src/accumulator.rs:445
Function
test_modpow
()
src/math.rs:156
Function
test_ni_poe
()
src/proofs.rs:147
Function
test_ni_poke2
()
src/proofs.rs:171
Function
test_pow_assign_basics
()
src/math.rs:128
Function
test_quo_rem
()
src/math.rs:140
Function
test_root_factor
()
src/math.rs:172
Function
test_shamir_trick
()
src/math.rs:199
Function
test_static
()
src/accumulator.rs:363
Function
test_universal
()
src/accumulator.rs:420
Method
ver_agg_mem_wit
(&self, w_xy: &BigUint, pi: &BigUint, x: &BigUint, y: &BigUint)
src/accumulator.rs:236
Method
ver_batch_del
(&self, w: &BigUint, root: &BigUint, xs: &[BigUint])
src/accumulator.rs:189
Method
ver_mem_x
(&self, other: &BigUint, pi: &BigUint, x: &BigUint, y: &BigUint)
src/accumulator.rs:264
Method
verify
(&self, b: &Self::Domain, i: usize, pi: &Self::Commitment)
src/vc/binary.rs:78
Method
verify
(&self, b: &Self::Domain, i: usize, pi: &Self::Commitment)
src/vc/general.rs:63
Function
verify_nonce_hash
Verify if given BIGUINT is a prime, complements the nonce_hash() function
src/hash.rs:67