Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/arkworks-rs/pcd
/ functions
Functions
67 in github.com/arkworks-rs/pcd
⨍
Functions
67
◇
Types & classes
37
↓ 38 callers
Method
clone
(&self)
src/ec_cycle_pcd/mod.rs:264
↓ 10 callers
Method
clone
(&self)
src/ec_cycle_pcd/data_structures.rs:29
↓ 3 callers
Method
clone
(&self)
src/variable_length_crh/pedersen/constraints.rs:25
↓ 3 callers
Method
clone
(&self)
src/variable_length_crh/bowe_hopwood/constraints.rs:23
↓ 2 callers
Function
bytes_to_bits
(bytes: &[u8])
src/variable_length_crh/pedersen/mod.rs:95
↓ 2 callers
Method
clone
(&self)
src/variable_length_crh/pedersen/mod.rs:122
↓ 1 callers
Function
generate_input
( cs: ConstraintSystemRef<Fr>, rng: &mut R, )
src/variable_length_crh/pedersen/constraints.rs:103
↓ 1 callers
Function
generate_input
( cs: ConstraintSystemRef<Fr>, rng: &mut R, )
src/variable_length_crh/injective_map/constraints.rs:66
↓ 1 callers
Function
generate_input
( cs: ConstraintSystemRef<Fr>, rng: &mut R, )
src/variable_length_crh/bowe_hopwood/constraints.rs:141
Method
check_evaluation_gadget
( parameters: &Self::ParametersVar, input: &[UInt8<P::BaseField>], )
src/variable_length_crh/pedersen/constraints.rs:50
Method
check_evaluation_gadget
( parameters: &Self::ParametersVar, input: &[UInt8<P::BaseField>], )
src/variable_length_crh/injective_map/constraints.rs:34
Method
check_evaluation_gadget
( parameters: &Self::ParametersVar, input: &[UInt8<P::BaseField>], )
src/variable_length_crh/bowe_hopwood/constraints.rs:64
Method
circuit_specific_setup
( predicate: &P, rng: &mut R, )
src/ec_cycle_pcd/mod.rs:52
Method
clone
(&self)
src/variable_length_crh/bowe_hopwood/mod.rs:35
Method
clone
(&self)
tests/mnt4_marlin.rs:109
Method
clone
(&self)
tests/mnt4_groth16.rs:45
Method
clone
(&self)
tests/mnt4_gm17.rs:46
Method
clone
(&self)
tests/mnt4_mix_gm17groth16.rs:47
Method
clone
(&self)
tests/mnt4_mix_groth16gm17.rs:47
Method
convert_output_to_field_elements
(output: Self::Output)
src/variable_length_crh/pedersen/mod.rs:90
Method
convert_output_to_field_elements
( output: Self::Output, )
src/variable_length_crh/injective_map/mod.rs:40
Method
convert_output_to_field_elements
( output: Self::Output, )
src/variable_length_crh/bowe_hopwood/mod.rs:154
Method
convert_output_to_field_gadgets
( output: &Self::OutputVar, )
src/variable_length_crh/pedersen/constraints.rs:79
Method
convert_output_to_field_gadgets
( output: &Self::OutputVar, )
src/variable_length_crh/injective_map/constraints.rs:43
Method
convert_output_to_field_gadgets
( output: &Self::OutputVar, )
src/variable_length_crh/bowe_hopwood/constraints.rs:100
Function
crh_primitive_gadget_test
()
src/variable_length_crh/pedersen/constraints.rs:118
Function
crh_primitive_gadget_test
()
src/variable_length_crh/injective_map/constraints.rs:81
Method
default
()
src/variable_length_crh/pedersen/mod.rs:130
Method
default
()
src/variable_length_crh/bowe_hopwood/mod.rs:44
Method
evaluate
(parameters: &Self::Parameters, input: &[u8])
src/variable_length_crh/pedersen/mod.rs:63
Method
evaluate
(parameters: &Self::Parameters, input: &[u8])
src/variable_length_crh/injective_map/mod.rs:35
Method
evaluate
(parameters: &Self::Parameters, input: &[u8])
src/variable_length_crh/bowe_hopwood/mod.rs:110
Method
fmt
(&self, f: &mut Formatter<'_>)
src/variable_length_crh/pedersen/mod.rs:107
Method
fmt
(&self, f: &mut Formatter<'_>)
src/variable_length_crh/bowe_hopwood/mod.rs:165
Method
generate_constraints
(self, cs: ConstraintSystemRef<F>)
src/ec_cycle_pcd/data_structures.rs:75
Method
generate_constraints
( &self, cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::L
src/ec_cycle_pcd/mod.rs:282
Method
generate_constraints
( &self, _cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::
tests/mnt4_marlin.rs:124
Method
generate_constraints
( &self, _cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::
tests/mnt4_groth16.rs:60
Method
generate_constraints
( &self, _cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::
tests/mnt4_gm17.rs:61
Method
generate_constraints
( &self, _cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::
tests/mnt4_mix_gm17groth16.rs:62
Method
generate_constraints
( &self, _cs: ConstraintSystemRef<F>, msg: &Self::MessageVar, witness: &Self::
tests/mnt4_mix_groth16gm17.rs:62
Method
get_generators
( &self, pos: usize, )
src/variable_length_crh/pedersen/mod.rs:20
Method
get_generators
( &self, pos: usize, )
src/variable_length_crh/bowe_hopwood/mod.rs:53
Method
get_generators
( &self, pos: usize, )
src/variable_length_crh/bowe_hopwood/constraints.rs:31
Method
index
( pp: &Self::PublicParameters, predicate: &P, rng: &mut R, )
src/ec_cycle_pcd/mod.rs:473
Method
new
()
tests/mnt4_marlin.rs:101
Method
new
()
tests/mnt4_groth16.rs:37
Method
new
()
tests/mnt4_gm17.rs:38
Method
new
()
tests/mnt4_mix_gm17groth16.rs:39
Method
new
()
tests/mnt4_mix_groth16gm17.rs:39
Method
new_variable
( _cs: impl Into<Namespace<ConstraintF>>, f: impl FnOnce() -> Result<T, SynthesisError>,
src/variable_length_crh/pedersen/constraints.rs:158
Method
new_variable
( _cs: impl Into<Namespace<P::BaseField>>, f: impl FnOnce() -> Result<T, SynthesisError>,
src/variable_length_crh/bowe_hopwood/constraints.rs:113
Method
prove
( pk: &ECCyclePCDPK<MainField, HelpField, IC>, predicate: &P, msg: &P::Message,
src/ec_cycle_pcd/mod.rs:92
Method
setup
(rng: &mut R)
src/variable_length_crh/pedersen/mod.rs:53
Method
setup
(rng: &mut R)
src/variable_length_crh/injective_map/mod.rs:31
Method
setup
(rng: &mut R)
src/variable_length_crh/bowe_hopwood/mod.rs:99
Function
test_marlin_pcd
()
tests/mnt4_marlin.rs:142
Function
test_marlin_universal_pcd
()
tests/mnt4_marlin.rs:168
Function
test_mnt4_gm17_pcd
()
tests/mnt4_gm17.rs:79
Function
test_mnt4_gm17groth16_pcd
()
tests/mnt4_mix_gm17groth16.rs:80
Function
test_mnt4_groth16_pcd
()
tests/mnt4_groth16.rs:78
Function
test_mnt4_groth16gm17_pcd
()
tests/mnt4_mix_groth16gm17.rs:80
Function
test_native_equality
()
src/variable_length_crh/bowe_hopwood/constraints.rs:156
Function
test_simple_bh
()
src/variable_length_crh/bowe_hopwood/mod.rs:183
Method
to_field_elements
(&self)
src/variable_length_crh/pedersen/mod.rs:116
Method
universal_setup
( predicate_bound: &Self::PredicateBound, rng: &mut R, )
src/ec_cycle_pcd/mod.rs:319
Method
verify
( vk: &Self::VerifyingKey, msg: &P::Message, proof: &Self::Proof, )
src/ec_cycle_pcd/mod.rs:183