Module transaction

Modules

debug

legacy_input

plonk_curve_ops

poseidon

scalar_challenge

transaction_snark

Structs

CircuitPlonkVerificationKeyEvals

CompressedPubKeyVar

CreateProofParams 🔒

FieldBitsIterator 🔒

InnerCurve

Rust calls: https://github.com/openmina/mina/blob/8f83199a92faa8ff592b7ae5ad5b3236160e8c20/src/lib/crypto/kimchi_bindings/stubs/src/projective.rs Conversion to/from OCaml: https://github.com/openmina/mina/blob/8f83199a92faa8ff592b7ae5ad5b3236160e8c20/src/lib/crypto/kimchi_bindings/stubs/src/arkworks/group_projective.rs Typ: https://github.com/o1-labs/snarky/blob/7edf13628872081fd7cad154de257dad8b9ba621/snarky_curve/snarky_curve.ml#L219-L229

MessagesForNextStepProof

PlonkVerificationKeyEvals

ProofWithPublic

https://github.com/o1-labs/proof-systems/blob/553795286d4561aa5d7e928ed1e3555e3a4a81be/kimchi/src/prover.rs#L1718

Prover

ReducedMessagesForNextStepProof

StepMainProofState

StepMainStatement

StepProofState

StepStatement

StepStatementWithHash

TransactionParams

Enums

ExprBinary 🔒

ExprNary 🔒

ProofError

V

Constants

LATEST_RANDOM 🔒

Traits

Check

Functions

add_fast

bigint_to_bits

bigint_to_bits2 🔒

Difference with bigint_to_bits: the number of bits isn’t a constant

bits_msb 🔒

checked_hash2

checked_hash3

compress_var

compute_witness

create_proof 🔒

create_shifted_inner_curve

https://github.com/openmina/mina/blob/45c195d72aa8308fcd9fc1c7bc5da36a0c3c3741/src/lib/snarky_curves/snarky_curves.ml#L267

decompress_var

double_group 🔒

dummy_constraints

endos

field_to_bits

field_to_bits2

Difference with field_to_bits: the number of bits isn’t a constant

fold_map 🔒

generate_tx_proof 🔒

get_messages_for_next_wrap_proof_padded

get_rng 🔒

group_to_witness 🔒

is_even 🔒

lookup_point 🔒

lookup_single_bit 🔒

lt_binary 🔒

lt_bitstring_value 🔒

make_group

make_prover_index

messages_for_next_wrap_proof_padding

of_binary 🔒

scale_known

scale_non_constant

unpack_full 🔒

Type Aliases

InternalVars