MCPcopy Create free account

hub / github.com/BitVM/BitVM / functions

Functions2,120 in github.com/BitVM/BitVM

⨍ Functions 2,120◇ Types & classes 197
↓ 4 callersFunctionhinted_mul_by_char_on_q
Stack: [q] q /in G2Affine compute q' = (q.x.conjugate()*beta_12, q.y.conjugate() * beta_13)
bitvm/src/bn254/g2.rs:166
↓ 4 callersMethodinner
(&self)
final-spv/src/transaction.rs:23
↓ 4 callersFunctioninsecure_connect
(credentials: &FtpCredentials)
bridge/src/client/data_store/ftp/lib.rs:290
↓ 4 callersMethodlist_objects
(&self, file_path: Option<&str>)
bridge/src/client/data_store/sftp.rs:168
↓ 4 callersFunctionmax
(a: u64, b: u64)
bridge/src/graphs/base.rs:71
↓ 4 callersFunctionmessage_to_digits
Converts the given `message` into a vector of digits. ## Output format - sequence of `n_digits` many digits - each digit a `u32` value in range `0..
bitvm/src/signatures/utils.rs:47
↓ 4 callersMethodmusig2_signatures
(&self)
bridge/src/transactions/take_2.rs:70
↓ 4 callersMethodoutput_is_field_element
(&self)
bitvm/src/chunk/elements.rs:216
↓ 4 callersMethodprev_scripts
(&self)
bridge/src/transactions/take_2.rs:50
↓ 4 callersFunctionprove
()
prover/src/lib.rs:54
↓ 4 callersFunctionpush_taproot_leaf_unlock_data_to_witness
( tx: &mut Transaction, input_index: usize, unlock_data: Vec<Vec<u8>>, )
bridge/src/transactions/signing.rs:207
↓ 4 callersMethodresize
Resize positive numbers # Note Does not work for negative numbers
bitvm/src/bigint/std.rs:366
↓ 4 callersMethodroot
Returns the Merkle root
final-spv/src/merkle_tree.rs:81
↓ 4 callersFunctionsecure_connect
(credentials: &FtpCredentials)
bridge/src/client/data_store/ftp/lib.rs:332
↓ 4 callersFunctionsign_assertions
(assn: Assertions)
bitvm/src/chunk/api.rs:861
↓ 4 callersMethodstatus
(&self)
bridge/src/client/client.rs:647
↓ 4 callersMethodsub
(a: u32, b: u32)
bitvm/src/bn254/fq2.rs:105
↓ 4 callersFunctiontarget_to_bits
(target: &[u8; 32])
header-chain/src/header_chain.rs:310
↓ 4 callersMethodto_hash
Blake3 Hash data types For U256Data (which is a single BigInteger) we do not hash but return as is BigInt are used to represent groth16 proof
bitvm/src/chunk/elements.rs:193
↓ 4 callersFunctionu4_2_nib_shift_blake
Assuming the u4 numbers X and Y are on top of the stack, calculates (16 * Y + X) >> 3 modulo 16
bitvm/src/u4/u4_shift_stack.rs:96
↓ 4 callersFunctionu4_push_full_xor_table_stack
Push full XOR table
bitvm/src/u4/u4_logic_stack.rs:24
↓ 4 callersFunctionu4_push_half_lookup_table_0_based_stack
Pushes the table to calculate the order of ordered pairs (a, b) satisfying the conditions a <= b and 0 <= a, b < 15
bitvm/src/u4/u4_logic_stack.rs:73
↓ 4 callersFunctionu4_push_half_xor_table_stack
Push half XOR table
bitvm/src/u4/u4_logic_stack.rs:19
↓ 4 callersMethodvalidate_key
(&self, key: &str)
bridge/src/client/cli/key_command.rs:190
↓ 4 callersFunctionvalidate_witness
( tx: &Transaction, tx_name: &'static str, tx_status_res: Result<TxStatus, esplora_client::Error>,
bridge/src/transactions/base.rs:163
↓ 4 callersFunctionverify_blake_output_with_limbs
(message: &[u8], expected_hash: [u8; 32], limb_lens: &[u8])
bitvm/src/hash/blake3.rs:409
↓ 4 callersFunctionwrap_chunk_point_ops_and_multiply_line_evals_step_1
( skip: bool, segment_id: usize, is_dbl: bool, is_frob: Option<bool>, ate_bit: Option<i8>,
bitvm/src/chunk/g16_runner_utils.rs:197
↓ 4 callersFunctionwrap_chunk_point_ops_and_multiply_line_evals_step_2
complete
bitvm/src/chunk/g16_runner_utils.rs:262
↓ 3 callersFunctionbitcoin_representation
(x: i32)
bitvm/src/signatures/utils.rs:100
↓ 3 callersMethodbroadcast_assert_commits
use this when possible broadcast assert commits together to save groth16 verifying time
bridge/src/client/client.rs:1205
↓ 3 callersMethodbroadcast_start_time
(&mut self, peg_out_graph_id: &String)
bridge/src/client/client.rs:1066
↓ 3 callersMethodbroadcast_take_1
(&mut self, peg_out_graph_id: &String)
bridge/src/client/client.rs:1265
↓ 3 callersMethodbroadcast_take_2
(&mut self, peg_out_graph_id: &String)
bridge/src/client/client.rs:1271
↓ 3 callersFunctioncalculate_work
(target: &[u8; 32])
header-chain/src/header_chain.rs:355
↓ 3 callersFunctioncheck_hash_valid
(hash: &[u8; 32], target_bytes: &[u8; 32])
header-chain/src/header_chain.rs:345
↓ 3 callersFunctionchunk_fq12_square
(a: ark_bn254::Fq6)
bitvm/src/chunk/taps_mul.rs:348
↓ 3 callersFunctionchunk_init_t4
(ts: [ark_ff::BigInt<4>; 4])
bitvm/src/chunk/taps_point_ops.rs:848
↓ 3 callersFunctionchunk_msm
( input_ks: Vec<ark_ff::BigInt<4>>, qs: Vec<ark_bn254::G1Affine>, )
bitvm/src/chunk/taps_msm.rs:15
↓ 3 callersMethodcreate_file_name
(&self, timestamp: u128)
bridge/src/client/data_store/data_store.rs:187
↓ 3 callersMethoddepositor_status
(&self)
bridge/src/client/client.rs:659
↓ 3 callersFunctiondigit_signature
Returns the signature of a given digit, requires the digit index to modify the secret key for each digit
bitvm/src/signatures/winternitz.rs:79
↓ 3 callersFunctionequalverify
Returns a Bitcoin script that compares two elements of length `n`. The script consumes its inputs. If the two elements are not equal, then the script
bitvm/src/signatures/public.rs:411
↓ 3 callersFunctionexecute_raw_script_with_inputs
(script: Vec<u8>, witness: Vec<Vec<u8>>)
bitvm/src/lib.rs:280
↓ 3 callersFunctionexecute_script_from_assertion
( segments: &[Segment], assts: Assertions, )
bitvm/src/chunk/api_runtime_utils.rs:492
↓ 3 callersFunctionfind_peg_out_graph
(client: &BitVMClient, peg_out_graph_id: &str)
bridge/tests/bridge/helper.rs:201
↓ 3 callersFunctiong1_multi_scalar_mul
This function wraps over multiple point scalar multiplications to form a single MSM result of one point-scalar mul is passed as initial value for the
bitvm/src/bn254/msm.rs:275
↓ 3 callersFunctiongenerate_id
(peg_in_deposit_transaction: &PegInDepositTransaction)
bridge/src/graphs/peg_in.rs:579
↓ 3 callersFunctiongenerate_segments_using_mock_vk_and_mock_proof
()
bitvm/src/chunk/api_compiletime_utils.rs:185
↓ 3 callersFunctiongenerate_signatures
Alternate Step 3 given public and runtime parameters (proof and scalars) generate Assertions
bitvm/src/chunk/api.rs:226
↓ 3 callersMethodgenerate_stub_outpoint
( &self, client: &BitVMClient, funding_utxo_address: &bitcoin::Address, input_
bridge/src/client/cli/query_command.rs:546
↓ 3 callersFunctiongenerate_timelock_script
(public_key: &PublicKey, num_blocks_timelock: u32)
bridge/src/scripts.rs:115
↓ 3 callersMethodget_funding_utxo_input
(&self, utxo_arg: Option<&String>)
bridge/src/client/cli/client_command.rs:83
↓ 3 callersMethodget_initial_utxo
(&self, address: Address, amount: Amount)
bridge/src/client/client.rs:1279
↓ 3 callersFunctionget_nonce_message
(nonce: &PubNonce)
bridge/src/transactions/pre_signed_musig2.rs:95
↓ 3 callersMethodget_peg_in_graph
(&self, peg_in_graph_id: &String)
bridge/src/client/client.rs:1347
↓ 3 callersFunctionget_peg_out_graph_mut
(client: &mut BitVMClient, id: String)
bridge/tests/bridge/client/fee.rs:551
↓ 3 callersMethodget_peg_out_init
(&self)
bridge/src/client/chain/chain.rs:50
↓ 3 callersFunctionget_query_for_table_index
This function computes the slice (w-bit segment) of scalar that is used as an index to the corresponding row of a table. The index of slice of scalar
bitvm/src/bn254/msm.rs:145
↓ 3 callersMethodget_root
Calculates the Merkle root given a leaf transaction ID (`txid`, which is a `mid_state_txid`) and the Merkle proof path (sibling nodes from the "mid-st
final-spv/src/merkle_tree.rs:239
↓ 3 callersFunctionget_segments_from_assertion
mirror of the funtion get_assertion_from_segments
bitvm/src/chunk/api_runtime_utils.rs:131
↓ 3 callersFunctionget_tx_statuses
( client: &AsyncClient, txids: &[Txid], )
bridge/src/graphs/base.rs:114
↓ 3 callersMethodhandle_get_depositor_address
(&self)
bridge/src/client/cli/client_command.rs:190
↓ 3 callersMethodhandle_get_operator_address
(&self)
bridge/src/client/cli/client_command.rs:146
↓ 3 callersMethodhas_all_signatures
(&self, verifier_pubkeys: &[PublicKey])
bridge/src/graphs/peg_out.rs:2505
↓ 3 callersFunctionhinted_affine_double_line
double a point T: x' = alpha^2 - 2 * T.x y' = -bias - alpha* x' input on stack: T.x (2 elements) output on stack: T'.x (2 elements) T'.y (2 elements
bitvm/src/bn254/g2.rs:529
↓ 3 callersMethodis_peg_out_initiated
(&self)
bridge/src/graphs/peg_out.rs:2046
↓ 3 callersMethodlock_scripts_bytes
(&self)
bridge/src/connectors/connector_c.rs:198
↓ 3 callersMethodmerge
(&mut self, source_peg_in_graph: &PegInGraph)
bridge/src/graphs/peg_in.rs:543
↓ 3 callersFunctionmerge_hash_maps
merge the nonce/signature hashmaps. We can't just do a.extend(b) since that would just overwrite the inner hashmap rather than merging it
bridge/src/transactions/base.rs:113
↓ 3 callersFunctionnib_to_byte_array
(digits: &[u8])
bitvm/src/chunk/helpers.rs:71
↓ 3 callersMethodoperator_status
(&self)
bridge/src/client/client.rs:681
↓ 3 callersMethodpeg_in_confirm_transaction_ref
(&self)
bridge/src/graphs/peg_in.rs:296
↓ 3 callersFunctionpoint_ops_and_multiply_line_evals_step_1
( is_dbl: bool, is_frob: Option<bool>, ate_bit: Option<i8>, t4: ark_bn254::G2Affine, p4: a
bitvm/src/chunk/taps_point_ops.rs:410
↓ 3 callersFunctionpoint_ops_and_multiply_line_evals_step_2
( f: ElemG2Eval, )
bitvm/src/chunk/taps_point_ops.rs:742
↓ 3 callersFunctionpre_sign_taproot_input_default
( tx: &mut T, input_index: usize, sighash_type: TapSighashType, taproot_spend_info: TaprootSpe
bridge/src/transactions/pre_signed.rs:60
↓ 3 callersFunctionpush_taproot_leaf_script_and_control_block_to_witness
( tx: &mut Transaction, input_index: usize, taproot_spend_info: &TaprootSpendInfo, script: &Sc
bridge/src/transactions/signing.rs:221
↓ 3 callersFunctionread_scripts_from_file
(file: &str)
bitvm/src/chunk/api.rs:448
↓ 3 callersFunctionround
Applies G functions for the round
bitvm/src/hash/blake3_utils.rs:320
↓ 3 callersMethodset_chain_service
TODO: This fn is only used in tests. Consider refactoring, so it can be removed.
bridge/src/client/client.rs:247
↓ 3 callersMethodtaproot_spend_info_cached
(&self)
bridge/src/connectors/connector_c.rs:182
↓ 3 callersMethodto_raw
(&self)
bitvm/src/chunk/g16_runner_core.rs:33
↓ 3 callersMethodtx_mut
(&mut self)
bridge/src/transactions/start_time.rs:43
↓ 3 callersFunctionu4_and_with_xor_stack
Calculates the bitwise AND of top 2 u4 values using XOR tables Uses the formula (a and b) = ((a + b) - a XOR b) >> 1
bitvm/src/u4/u4_logic_stack.rs:99
↓ 3 callersFunctionu4_arrange_nibbles_stack
Arranges (zips) the given numbers (locations given by the parameters bases) each consisting of nibble_count u4's so each group of nibbles can be procc
bitvm/src/u4/u4_add_stack.rs:59
↓ 3 callersFunctionu4_lshift_stack
Calculates n'th left shift of the top u4 element with both tables
bitvm/src/u4/u4_shift_stack.rs:48
↓ 3 callersFunctionu4_push_full_lookup_table_stack
Pushes table for the value x * 16
bitvm/src/u4/u4_logic_stack.rs:78
↓ 3 callersFunctionu4_push_modulo_for_blake
Pushes the table for calculating the modulo, i.e. x % 16 for x < 48. i.e. 15 (max u4) * 3 (max # numbers to sum) + 2 (max carry)
bitvm/src/u4/u4_add_stack.rs:17
↓ 3 callersFunctionu4_push_quotient_for_blake
Pushes the table for calculating the quotient, i.e. floor(x / 16) for x < 48. i.e. 15 (max u4) * 3 (max # numbers to sum) + 2 (max carry)
bitvm/src/u4/u4_add_stack.rs:33
↓ 3 callersFunctionutils_collect_mul_hints_per_segment
(segments: &[Segment])
bitvm/src/chunk/api_runtime_utils.rs:360
↓ 3 callersFunctionutils_fq12_dd_mul
Compute product of two Fq12 elements in normalized form (1 + c J) <- (1 + a J) x (1 + b J). Input a, b and output c. In this form (1 + c J) <- 1 + {(a
bitvm/src/chunk/taps_mul.rs:201
↓ 3 callersFunctionutils_fq12_square
Compute square of an Fq12 elements in normalized form (1 + c J) <- (1 + a J) x (1 + a J). Input a, and output c. In this form (1 + c J) <- 1 + {(2a)/(
bitvm/src/chunk/taps_mul.rs:289
↓ 3 callersFunctionutils_fq6_ss_mul
Input two sparse Fq6 elements where the third coefficient is Fq2::ZERO Multiply these elements and return result. Given m = (a, b, 0) n = (d, e, 0). C
bitvm/src/chunk/taps_mul.rs:16
↓ 3 callersFunctionvalidate
( matches: &ArgMatches, args: Vec<String>, destination_network: DestinationNetwork, )
bridge/src/client/cli/validation.rs:19
↓ 3 callersMethodverifier_inputs
(&self)
bridge/src/transactions/take_2.rs:78
↓ 3 callersMethodverify
(&self, mmr_guest: MMRGuest)
final-spv/src/spv.rs:30
↓ 3 callersFunctionverify_n
Checks if the top 2n elements have the period n, i.e. are in the form a, b, c ..., a, b, c ...
bitvm/src/u4/u4_std.rs:43
↓ 3 callersFunctionwrap_hints_frob_fp12
frob
bitvm/src/chunk/g16_runner_utils.rs:168
↓ 3 callersFunctionwrite_map_to_file
( map: &HashMap<u32, Vec<Vec<u8>>>, filename: &str, )
bitvm/src/chunk/api.rs:399
↓ 3 callersFunctionxor_and_rotate_right_by_multiple_of_4
Calculates the bitwise XOR of two u32 numbers (x, y) and cyclically shifts them to right by the given value, which should be a multiple of 4. Consumes
bitvm/src/hash/blake3_utils.rs:64
↓ 2 callersMethod_fund_input
(&self, address: &Address, amount: Amount)
bridge/tests/bridge/faucet.rs:153
← previousnext →201–300 of 2,120, ranked by callers