Modules§
- cs
- error
- kzg
- This is a fork of the KZG implementation of ark_poly_commit.
The original implementation does not suit our need. Specifically,
the original implementation adds the powers_of_gamma_g to the
universal parameter, which is not needed by us. And the
openmethod was not public. Finally, the batched check is not the same as that of PLONK. - snarks
- tools
Macros§
- accumulate_
vector - accumulate_
vector_ mul - accumulate_
vector_ plus - add_
expression_ vector_ to_ vector - add_
to_ first_ item - add_
vector_ to_ vector - check_
expression_ vector_ eq - check_
poly_ eval - check_
vector_ eq - commit_
vector - commitment_
linear_ combination - commitment_
linear_ combination_ no_ one - concat_
and_ one - concat_
matrix_ horizontally - concat_
matrix_ vertically - custom_
add - custom_
add_ literal - define
- define_
accumulate_ vector_ mul - define_
clone_ vector - define_
commit_ vector - define_
commitment_ linear_ combination - define_
commitment_ linear_ combination_ no_ one - define_
concat_ neg_ vector - define_
concat_ uwinverse_ vector - define_
concat_ vector - define_
concat_ vector_ skip - define_
eval_ vector_ expression - define_
expression_ vector - define_
expression_ vector_ inverse - define_
generator - define_
hadamard_ vector - define_
int_ array_ to_ power_ vector - define_
left_ sparse_ mvp_ vector - define_
matrix_ vectors - define_
mut - define_
permutation_ vector_ from_ wires - define_
poly_ from_ vec - define_
power_ power_ mul - define_
shift_ minus_ one - define_
sparse_ mvp_ concat_ vector - define_
sparse_ mvp_ vector - define_
sparse_ vector - define_
sparse_ zero_ one_ vector - define_
sum - define_
vec - define_
vec_ mut - define_
vector_ poly_ mul - define_
vector_ poly_ mul_ shift - define_
vector_ power_ mul - define_
vector_ reverse_ omega_ shift - define_
zero_ pad_ concat_ vector - delta
- eval_
sparse_ vector - eval_
sparse_ zero_ one_ vector - eval_
vector_ as_ poly - eval_
vector_ expression - expression_
vector - fmt_ff
- fmt_
ff_ vector - generator_
of - get_
randomness_ from_ hash - init_
size - int_
array_ to_ power_ vector - inverse
- linear_
combination - linear_
combination_ base_ zero - max
- minus
- minus_
i64 - minus_
plus_ one - mul
- multi_
delta - neg
- one
- poly_
from_ vec - power_
linear_ combination - power_
power_ mul - power_
vector_ index - range_
index - redefine_
zero_ pad_ concat_ vector - sample_
randomizers - scalar_
to_ field - sparse_
mvp_ vector - sum
- to_
field - to_int
- vector_
concat - vector_
concat_ skip - vector_
diff - vector_
index - vector_
poly_ mul - vector_
power_ mul - vector_
reverse_ omega - zero
- zero_
pad - zero_
pad_ and_ concat