Main #5
Closed
Main #5
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…y_prevent_overflow
* refactor blake3_u4 and signatures folder * fix warnings
* Update std.rs * Update segment.rs * Update elements.rs * Update blake3_u4_compact.rs
* init: sync with main branch * chore: reuse constraint synthesizer * fix: g1 hinted msm * fix g2 double line removes coeffs * add assigner and elements trait changing elem trait changing elem trait fix issues with preimage fix issues with preimage wip: cargo fix wip: cargo fix 2 remove comments * feat: undo cargo fix on out of scope files * select assertion to corrupt randomly * feat: undo cargo fix on out of scope files and remove unneeded test * revert changes to winternitz.rs * chunker new line at eof * feat: change wots api to use existing winternitz module * chore: move tapscripts to individual files * chore: move tapscript tests to individual files * doc: add few notes on muls and point ops * chore: add comments * feat: add input validity checks on tapscripts wip: input validity checks added to chunk methods feat: integrate premiller verification checks to next tapscripts feat: integrate msm verification checks to next tapscripts wip: input validity checks during assertion fix(disprove-exec): issue with chunk_precompute_p py zero * feat: cleanup interface to chunker and add more tests init: api utils chore: remove legacy api code feat: update interface to chunker * test(api): add full execution test * chore: sync with main branch * chore: move g16 tests and cleanup chore: replace with braces on script macro chore: move g16 tests to api chore: fix tests chore: adding RUST_MIN_STACK flag to ci * chore: cleanup and reorg methods chore: remove panics add Result chore: cargo lock * chore(bn254_g2): cleanup g2 point ops functions * chore: add comments to data types * fix: handle when input to doubling is inf * feat: remove numerator is zero check * feat: include free subgroup check on last tapscript * fix: remove calculation for s param of proof --------- Co-authored-by: Manish Bista <manishbista@Manishs-MBP.lan> Co-authored-by: Manish Bista <manishbista@Manishs-MacBook-Pro.local>
* Update challenge.rs * Update blake3_u4_compact.rs * Update constants.rs * Update base.rs
* init: integration function * chore: test apis for disprove invalid proof
* Add circuits * Add prover with ELFs * Fix errors + add headers * Final fixes * Refactor * Remove commented out code * Include readmes * Update Cargo.lock * Update README, add mainnet-headers.bin * Put working proof * Simplify Cargo.toml * Use docker image * Incompatible machine, comment out code * Add final SPV and header chain circuits with Docker build support * CI fix * Update readme files
Signed-off-by: looklose <shishuaiqun@yeah.net>
* Update take_1.rs * Update start_time_timeout.rs * Update connector_b.rs * Update query_command.rs
Hello,
I have some grammatical suggestions for this text.
1- "UST_BACKTRACE=full" should be "RUST_BACKTRACE=full"
2- "reprent" should be "represent"
In "Fp6Data is used to reprent the second coefficient in Fp12..."
3- "intialization" should be "initialization"
In the "Optimization on product of Fp_12 accumulator f and line evaluation l e" section.
4- "resistane" should be "resistance"
In "20-byte hashes for 160-bit second preimage resistane security"
Thanks.
* feat: refactor g1 msm tie with unchunked msm integrate with chunk msm chore: cleanup and add comments * fix: size of padded zeros in get_query_for_table_index * chore: fq_to_bits without skip * chore: remove duplicate impl of fq_to_bits
* refactor: replace multi_miller_loop_affine with multi_miller_loop for performance improvements * use affine miller loop * refactor: Update pairing implementation to use BnAffinePairing across multiple modules * chore: update dependencies to version 1.2.5 and remove unused packages * chore: update strum and risc0 dependencies to version 1.2.5, add new binary data files for various networks, and remove obsolete binary file * refactor: streamline code formatting and update binary data files for various networks --------- Co-authored-by: Hakkush-07 <hakan.karakus@std.bogazici.edu.tr>
* feat: refactor g1 msm tie with unchunked msm integrate with chunk msm chore: cleanup and add comments * remove replaced chunker folder * docs: add folder and move instruction file * fix: use Box to allocate Signatures on heap * wip: refactor and trigger ci
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
20 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.