Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lambdaclass/lambdaworks_stark_platinum issues and pull requests
#223 - Add support for arguments for prover to CLI in Cairo 0
Issue -
State: open - Opened by MauroToscano over 1 year ago
- 1 comment
Labels: good first issue
#222 - Migrate CLI to Clap 4
Issue -
State: open - Opened by MauroToscano over 1 year ago
- 1 comment
Labels: good first issue
#221 - Move CLI in a new Crate
Issue -
State: open - Opened by MauroToscano over 1 year ago
- 1 comment
Labels: good first issue
#220 - Support trace.bin and memory.bin generated from cairo0-run for proving
Issue -
State: open - Opened by feltroidprime over 1 year ago
- 2 comments
Labels: good first issue
#100 - Change Prover/Verifier in FRI query phase to do a smaller amount of hashes
Issue -
State: open - Opened by feltroidprime over 1 year ago
#100 - Change Prover/Verifier in FRI query phase to do a smaller amount of hashes
Issue -
State: open - Opened by feltroidprime over 1 year ago
#99 - Add cairo programs compilation precondition in test make target
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
#99 - Add cairo programs compilation precondition in test make target
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
#98 - Rangecheck pub input
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#98 - Rangecheck pub input
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#97 - Fix metal feature
Issue -
State: closed - Opened by entropidelic over 1 year ago
#97 - Fix metal feature
Issue -
State: closed - Opened by entropidelic over 1 year ago
#96 - Add functionality to deserialize Cairo public inputs
Issue -
State: open - Opened by entropidelic over 1 year ago
- 1 comment
#96 - Add functionality to deserialize Cairo public inputs
Issue -
State: open - Opened by entropidelic over 1 year ago
- 1 comment
#95 - Reorganize repository folders
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#95 - Reorganize repository folders
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#94 - Add output builtin
Pull Request -
State: closed - Opened by gabrielbosio over 1 year ago
- 1 comment
#94 - Add output builtin
Pull Request -
State: closed - Opened by gabrielbosio over 1 year ago
- 1 comment
#93 - Watcher dispatcher description
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#93 - Watcher dispatcher description
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#92 - Verifier Benches
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#92 - Verifier Benches
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#91 - Make sure that every value in the FRI layers is checked
Issue -
State: closed - Opened by diegokingston over 1 year ago
- 1 comment
Labels: security
#91 - Make sure that every value in the FRI layers is checked
Issue -
State: closed - Opened by diegokingston over 1 year ago
- 1 comment
Labels: security
#90 - Add output builtin
Issue -
State: closed - Opened by entropidelic over 1 year ago
#90 - Add output builtin
Issue -
State: closed - Opened by entropidelic over 1 year ago
#89 - perf: verifier optimizations
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#89 - perf: verifier optimizations
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#88 - Range check built in lacks constraints
Issue -
State: open - Opened by MauroToscano over 1 year ago
Labels: security
#88 - Range check built in lacks constraints
Issue -
State: open - Opened by MauroToscano over 1 year ago
Labels: security
#87 - bug: fix randomness_to_field
Pull Request -
State: closed - Opened by feltroidprime over 1 year ago
- 3 comments
#87 - bug: fix randomness_to_field
Pull Request -
State: closed - Opened by feltroidprime over 1 year ago
- 3 comments
#86 - Add make target for compiling all cairo programs used in tests
Issue -
State: closed - Opened by entropidelic over 1 year ago
#86 - Add make target for compiling all cairo programs used in tests
Issue -
State: closed - Opened by entropidelic over 1 year ago
#85 - Polish some details in readme
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#85 - Polish some details in readme
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#84 - Fix verifier to check consistency at every point
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#84 - Fix verifier to check consistency at every point
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#83 - Range-check address step constraint
Issue -
State: open - Opened by gabrielbosio over 1 year ago
Labels: security
#83 - Range-check address step constraint
Issue -
State: open - Opened by gabrielbosio over 1 year ago
Labels: security
#82 - Range-check initial address constraint
Issue -
State: open - Opened by gabrielbosio over 1 year ago
Labels: security
#82 - Range-check initial address constraint
Issue -
State: open - Opened by gabrielbosio over 1 year ago
Labels: security
#81 - Make the CLI work for programs with builtins
Issue -
State: closed - Opened by gabrielbosio over 1 year ago
- 2 comments
#81 - Make the CLI work for programs with builtins
Issue -
State: closed - Opened by gabrielbosio over 1 year ago
- 2 comments
#80 - Add time measurements with feature instruments
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#80 - Add time measurements with feature instruments
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#79 - bug: fix transition degrees
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#79 - bug: fix transition degrees
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#78 - Enforce selectors can be used by a malicious Prover to remove constraints
Issue -
State: open - Opened by MauroToscano over 1 year ago
Labels: security
#78 - Enforce selectors can be used by a malicious Prover to remove constraints
Issue -
State: open - Opened by MauroToscano over 1 year ago
Labels: security
#77 - bug: fix root order bug
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#77 - bug: fix root order bug
Pull Request -
State: closed - Opened by entropidelic over 1 year ago
- 1 comment
#76 - Cairo1 support
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#76 - Cairo1 support
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#75 - Run with CLI
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#75 - Run with CLI
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#74 - Add Dockerfile to compile CairoPrograms
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#74 - Add Dockerfile to compile CairoPrograms
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#73 - fft module of lambdaworks moved inside math
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#73 - fft module of lambdaworks moved inside math
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
#72 - Update README.md
Pull Request -
State: closed - Opened by diegokingston over 1 year ago
- 1 comment
#72 - Update README.md
Pull Request -
State: closed - Opened by diegokingston over 1 year ago
- 1 comment
#71 - Add check to proof options to ensure they reach security level
Issue -
State: closed - Opened by diegokingston over 1 year ago
Labels: security
#71 - Add check to proof options to ensure they reach security level
Issue -
State: closed - Opened by diegokingston over 1 year ago
Labels: security
#70 - Merge
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
#70 - Merge
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
#69 - Cairo1 Stark Proof verifier implementation
Pull Request -
State: closed - Opened by feltroidprime over 1 year ago
- 1 comment
#69 - Cairo1 Stark Proof verifier implementation
Pull Request -
State: closed - Opened by feltroidprime over 1 year ago
- 1 comment
#68 - [WIP] Inclusion of dhat on tests
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#68 - [WIP] Inclusion of dhat on tests
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#67 - Just one consistency check on Deep(x) is unsound
Issue -
State: closed - Opened by mcarilli over 1 year ago
- 6 comments
Labels: security
#67 - Just one consistency check on Deep(x) is unsound
Issue -
State: closed - Opened by mcarilli over 1 year ago
- 6 comments
Labels: security
#66 - Proof of concept that just one consistency check on Deep(x) is unsound
Pull Request -
State: closed - Opened by mcarilli over 1 year ago
- 1 comment
#66 - Proof of concept that just one consistency check on Deep(x) is unsound
Pull Request -
State: closed - Opened by mcarilli over 1 year ago
- 1 comment
#65 - Update README.md
Pull Request -
State: closed - Opened by diegokingston over 1 year ago
#65 - Update README.md
Pull Request -
State: closed - Opened by diegokingston over 1 year ago
#64 - Make get_powers_of_primitive_root_coset to return an iterator
Issue -
State: open - Opened by entropidelic over 1 year ago
#64 - Make get_powers_of_primitive_root_coset to return an iterator
Issue -
State: open - Opened by entropidelic over 1 year ago
#63 - Improve transcript security
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#63 - Improve transcript security
Pull Request -
State: closed - Opened by MauroToscano over 1 year ago
- 1 comment
#62 - Improve verifier
Issue -
State: open - Opened by diegokingston over 1 year ago
#62 - Improve verifier
Issue -
State: open - Opened by diegokingston over 1 year ago
#61 - Remove clones in evaluate
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 2 comments
#61 - Remove clones in evaluate
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 2 comments
#60 - perf: Evaluate zerofier efficiently
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#60 - perf: Evaluate zerofier efficiently
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#59 - Extract main trace building
Pull Request -
State: closed - Opened by gabrielbosio over 1 year ago
- 1 comment
#59 - Extract main trace building
Pull Request -
State: closed - Opened by gabrielbosio over 1 year ago
- 1 comment
#58 - Avoid calculating repeated elements in degree adjustment
Issue -
State: open - Opened by diegokingston over 1 year ago
#58 - Avoid calculating repeated elements in degree adjustment
Issue -
State: open - Opened by diegokingston over 1 year ago
#57 - Benchmark different hash functions for Merkle Trees
Issue -
State: open - Opened by diegokingston over 1 year ago
#57 - Benchmark different hash functions for Merkle Trees
Issue -
State: open - Opened by diegokingston over 1 year ago
#56 - Run benchmarks with Amazon Graviton 3 (64 cores)
Issue -
State: open - Opened by diegokingston over 1 year ago
#56 - Run benchmarks with Amazon Graviton 3 (64 cores)
Issue -
State: open - Opened by diegokingston over 1 year ago
#55 - perf: avoid some collects
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#55 - perf: avoid some collects
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#54 - Improve generate_roots_of_unity
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 2 comments
#54 - Improve generate_roots_of_unity
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 2 comments
#53 - Improve transition divisors
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment
#53 - Improve transition divisors
Pull Request -
State: closed - Opened by pablodeymo over 1 year ago
- 1 comment