- separate finalize and broadcast

refactor on broadcast result

Txn relay fee

Optionally init connectors that need cache

* Reuse commit from assert_commit txs in disprove tx

* Clippy

* Fix disprove tx integration test

* Move fn to connector C

* rustfmt

* add todo

---------

Co-authored-by: aristotleee <[email protected]>

* Handle assert status
---------

Co-authored-by: ivebeenherebefore <[email protected]>
Co-authored-by: stardustPandora <[email protected]>
Co-authored-by: StarDumpling <[email protected]>

Change default block interval on regtest from 40 to 8 seconds

* Add the verifying key in the client

* Add correct and incorrect proofs to setup configuration

* Use correct proof in test clients

* Update verifying key error

* Add verifying key to CLI

* CLI wording fix + Add a comment

* Comment fix

* Fixes after the merge

* Update help message

* Add serialization for `CommitmentMessageId::Groth16IntermediateValues`

* Use `strum::Display` to simplify string conversion logic

* Replace manual matching with an iterator for better maintainability

* Extract `CommitmentMessageId` into its own module and add a unit test

* feat: add pegin refund presign command

* feat: add subcommand match

---------

Co-authored-by: stardustPandora <[email protected]>

* Initial script for Disprove Chain tx

* Complete the Disprove Chain script

* Move the disprove chain script to the right leaf on connector B

* Update Disprove Chain test

* Push Disprove Chain superblock to witness byte-by-byte

* Rewrite connector B script using `BigIntImpl`

* Verify all the sigs first to remove them from stack (avoids stack overflow when hashing)

* Update connector B script based on test

* Move a TODO

* Sign the Disprove Chain tx before broadcasting

* Cleanup: rename a var and add a comment

* Fix formatting

* Fixes after the merge

* More fixes after the merge

* Add start time and SB hash witness storage and propagation

* Refactor: Convert project to Cargo workspace (BitVM#176)

* fix issue 157 (BitVM#163)

* fix non fixed points

* refactor ell

* remove _stable

* fix test test_wrong_proof_and_modify_intermediates

* fix hinted_ell_by_constant_affine

* fix as comment

---------

Co-authored-by: freddie <[email protected]>

* Update CI.yml (BitVM#186)

* Refactor - BN254 G1 and G2 curve operations (BitVM#177)

* Bridge use global secp256k1 context (BitVM#185)

* replace Secp256k1::new calls with global SECP256K1

* remove secp instance from base, verifier and operator contexts

* remove unused secp imports

* remove unnecessary &

* remove unused context args

* use newer api that does not need secp256k1 instance

* Refactor - Remove montgomery functions (BitVM#188)

* delete push montgomery functions and fq.mul,square,inv

* get rid of _not_montgomery from function names

* feat(msm): add hinted w-windowed glv msm (BitVM#166)

* feat(msm): add hinted w-windowed glv msm

* chore: add comments

* chore(curves): assume different stack arrangement for msm input

* feat: expose single chunk of msm

* feat(msm): initialize accumulator inside script

* feat(msm): add helper function to extract hints

* feat: include aux hints to top of array

* fix clippy error

* fix clippy error

* chore: use script macro

---------

Co-authored-by: Manish Bista <[email protected]>
Co-authored-by: Manish Bista <[email protected]>

* feat: optimize g2 subgroup membership check (BitVM#173)

* feat: optimize g2 subgroup membership check

* chore: use script macro

* chore: correct comments

---------

Co-authored-by: Manish Bista <[email protected]>
Co-authored-by: Manish Bista <[email protected]>

* feat(utils): add g2 affine point endomorphism methods (BitVM#170)

* feat(utils): add g2 affine point endomorphism methods

* chore: include gitignore changes

---------

Co-authored-by: Manish Bista <[email protected]>
Co-authored-by: Manish Bista <[email protected]>

* CI: Use self hosted runner (BitVM#189)

* CI: Use self hosted runner

* CI: Fix cargo test command

---------

Co-authored-by: Lukas <[email protected]>

* Fix failing tests (BitVM#196)

* fix test_hinted_quad_miller

* fixed generate_f

* fix stable_script in chunk_scalar_mul by changing names to run1 and run2

* use script macro in pairing

* use script macro in fq12

* use script macro in fq6

* use script macro in fq2, verifier, chunk_evaluate_lines

* uncomment message in winternitz test

* remove unused hint variables, remove P_POW3, add new constants

---------

Co-authored-by: Hakkush-07 <[email protected]>
Co-authored-by: just-erray <[email protected]>

* chore: fix some typos in comment (BitVM#199)

Signed-off-by: davidwoood <[email protected]>

* Refactor u4 and u32 (BitVM#201)

* refactor u32

* refactor u4 and u32

* refactor u4_rot, fix bugs and clean up use's

* fix typo

* Add header chain circuit and its host with ELFs (BitVM#178)

* Add circuits

* Add prover with ELFs

* Fix errors + add headers

* Final fixes

* Refactor

* Remove commented out code

* Revert "Add header chain circuit and its host with ELFs (BitVM#178)" (BitVM#203)

This reverts commit b435ff6.

* CI: Add regtest bridge tests and compilation cache (BitVM#200)

* CI: Reactivate bridge tests

* Update CI.yml

* CI: Use regtest scripts

* Add env variables, secrets and cache

* Fix: Syntax for uses

* Fix: Indentation

* CI: Add own build job and reduce timeouts

* CI: Add needs

* CI: Create wallet

* Update faucet.rs

* CI: Disable bridge tests

---------

Co-authored-by: Lukas <[email protected]>
Co-authored-by: stillsaiko <[email protected]>

* Feat/transform bigint limbsize (BitVM#198)

* add transform_limbsize fn

* rename field for clarity

* add a simple manual test. to add more tests.

* add manual tests for all zeros and ones

* add should panic tests for the limbsizes

* add property testing for gen_transform_steps
add assert to ensure the minimum number of bits for transform to be 32

* fix docstring for extract_digits

* add test for random transformations for U256

* add test for extract_digits
refactor extract_digits from inside BigIntImpl

* fix 'assertion msgs'

* use Vec::with_capacity instead of Vec::new
fix typo in fn name
use pop on reversed vec instead of remove at index 0

* Remove stack_hints and analyzer overhead (BitVM#204)

Co-authored-by: Lukas <[email protected]>

* Use rust-bitcoin-script (and -stack) main branch

* Fixes after the merge

* Accept incoming changes from `BitVM:main` in groth16 tests

* Accept incoming changes from `BitVM:main` in bn254 and chunker

* Refactor chunker error (#41)

* Refactor chunker error

* Remove unused error

---------

Co-authored-by: franklynot <[email protected]>

* Accept incoming changes from `BitVM:main` in bn25

* More fixes after the merge

* Remove unnecessary `mod.rs`

* Update the regtest README.md

* Cache lock scripts locally for ConnectorC (#43)

* impl (de)serialize to cache lock scripts for ConnectorC

* - fix winternitz secret in test
- not saving cache if exists

* fix cache id in setup_test

* remove clone()

* cache id error handling

* Refine the connector C caching API

* Output errors to error output

* Refactor cache handling and improve error reporting in ConnectorC

* Remove unnecessary error

It never bubbles up to the client, so we don't need to wrap it in `Error`

* Relay fee & test fixes (#45)

* Fix relay fees

* add kick off 2

* add sebsequent txns
todo: check_tx_output_sum since kick_off_2 fails to mine now

* Fix fee test

---------

Co-authored-by: franklynot <[email protected]>

---------

Signed-off-by: davidwoood <[email protected]>
Co-authored-by: Ekrem BAL <[email protected]>
Co-authored-by: freddi8e <[email protected]>
Co-authored-by: freddie <[email protected]>
Co-authored-by: stillsaiko <[email protected]>
Co-authored-by: Hakan Karakuş <[email protected]>
Co-authored-by: Esad Yusuf Atik <[email protected]>
Co-authored-by: manishbista28 <[email protected]>
Co-authored-by: Manish Bista <[email protected]>
Co-authored-by: Manish Bista <[email protected]>
Co-authored-by: Lukas George <[email protected]>
Co-authored-by: Lukas <[email protected]>
Co-authored-by: Şevket Onur YILMAZ <[email protected]>
Co-authored-by: Hakkush-07 <[email protected]>
Co-authored-by: just-erray <[email protected]>
Co-authored-by: David Wood <[email protected]>
Co-authored-by: Ozan Kaymak <[email protected]>
Co-authored-by: mukeshdroid <[email protected]>
Co-authored-by: aristotleee <[email protected]>