Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Addition fuzzer for Stark Field #601

Merged
merged 4 commits into from
Oct 17, 2023
Merged

Conversation

MauroToscano
Copy link
Collaborator

Addition fuzzer for Stark Field

Description

Addition fuzzer for Stark Field, to make sure the same bug of issue #600 doesn't appear with the StarkField

Type of change

Please delete options that are not relevant.

  • New feature

@MauroToscano MauroToscano requested review from schouhy, ajgara and a team as code owners October 10, 2023 20:02
@MauroToscano MauroToscano marked this pull request as draft October 10, 2023 20:03
@MauroToscano MauroToscano marked this pull request as ready for review October 11, 2023 20:36
@codecov-commenter
Copy link

Codecov Report

Merging #601 (e76cba5) into main (5a938e7) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #601   +/-   ##
=======================================
  Coverage   95.61%   95.61%           
=======================================
  Files         111      111           
  Lines       19318    19318           
=======================================
  Hits        18471    18471           
  Misses        847      847           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@entropidelic entropidelic added this pull request to the merge queue Oct 17, 2023
Merged via the queue into main with commit 780b7dd Oct 17, 2023
6 checks passed
@entropidelic entropidelic deleted the addition-fuzzer-with-bytes branch October 17, 2023 14:03
juan518munoz pushed a commit that referenced this pull request Oct 17, 2023
* Add fuzzer

* Remove artifacts

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>
PatStiles pushed a commit to PatStiles/lambdaworks that referenced this pull request Oct 18, 2023
* Add fuzzer

* Remove artifacts

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>
PatStiles pushed a commit to PatStiles/lambdaworks that referenced this pull request Oct 18, 2023
* Add fuzzer

* Remove artifacts

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>
PatStiles pushed a commit to PatStiles/lambdaworks that referenced this pull request Oct 20, 2023
* Add fuzzer

* Remove artifacts

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>
github-merge-queue bot pushed a commit that referenced this pull request Oct 20, 2023
* migrate cli to extern crate

* add clap4 for cli handling

* cargo fmt

* readme changes

* Add disclaimer readme

* Remove bit security text from cairo prover crate

* add compile option to makefile

* add compile and run all to makefile

* add example to readme

* cargo fmt

* add compile and prove to makefile

* better readme

* add quiet flag to makefile binaries

* reorganized readme

* initial commit

* add remove after compile to docker run

* externalize commands

* Update README

* cargo fmt

* update README

* err handling for non existing files

* moved prints to err handler

* Update provers/cairo-prover-cli/src/main.rs

Co-authored-by: Mariano A. Nicolini <[email protected]>

* stark curve, pedersen hash, precalculated points (#597)

* stark curve, pedersen hash, precalculated points

* lint

* lint + array index fixes

* cargo fmt

* clippy

* fmt

* ref to starknet-rs

* reviews

* constant points moved to another file

* move 'from_affine_hex_string' to starkcurve

* make add_points a private fn

* docs for pedersen

* rename add_points -> lookup_and_accumulate

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>

* Addition fuzzer for Stark Field (#601)

* Add fuzzer

* Remove artifacts

---------

Co-authored-by: Mariano A. Nicolini <[email protected]>

* update README

* Update Makefile

* update README bin

* changed println for eprintln

* fix README

* rmv fuzz and wasm from README

---------

Co-authored-by: Jmunoz <[email protected]>
Co-authored-by: Mariano A. Nicolini <[email protected]>
Co-authored-by: MauroFab <[email protected]>
Co-authored-by: irfan <[email protected]>
Co-authored-by: Mauro Toscano <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants