Skip to content

Issues: lambdaclass/lambdaworks_stark_platinum

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.

Sign up for GitHub

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

46 Open 16 Closed
46 Open 16 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Feat: Add functionality to deserialize Cairo public inputs #96
#244 opened Dec 11, 2023 by Cevedale
Range check built-in is not enforcing range checks for the decomposed fields security
#229 opened Aug 11, 2023 by MauroToscano
Add public inputs to CLI
#224 opened Aug 9, 2023 by MauroToscano
Add support for arguments for prover to CLI in Cairo 0 good first issue Good for newcomers
#223 opened Aug 9, 2023 by MauroToscano
Migrate CLI to Clap 4 good first issue Good for newcomers
#222 opened Aug 9, 2023 by MauroToscano
Move CLI in a new Crate good first issue Good for newcomers
#221 opened Aug 9, 2023 by MauroToscano
Support trace.bin and memory.bin generated from cairo0-run for proving good first issue Good for newcomers
#220 opened Aug 8, 2023 by feltroidprime
1
FRI fails for high degree constraints
#202 opened Jul 21, 2023 by mcarilli
2
Pretty print main trace
#198 opened Jul 19, 2023 by gabrielbosio
Trace and memory files creation
#190 opened Jul 14, 2023 by gabrielbosio
1
Improve benchmarks
#174 opened Jul 11, 2023 by gabrielbosio
1
@gabrielbosio
Document which offsets are viable, return an error if it's not viable when creating a ProofOption
#170 opened Jul 10, 2023 by MauroToscano
Check performance against others
#140 opened Jul 4, 2023 by unbalancedparentheses
Cairo0 programs with Docker can be compiled in one go for tests to make it faster
#114 opened Jun 27, 2023 by MauroToscano
Check performance of sorting algorithm
#111 opened Jun 26, 2023 by diegokingston
perf: do just one batch inversion
#109 opened Jun 26, 2023 by diegokingston
perf: avoid recalculating twiddle factors
#107 opened Jun 26, 2023 by diegokingston
1
perf: verifier. Take divisors of upsilon_0 - z^2 outside and perform batch inversion
#106 opened Jun 26, 2023 by diegokingston
perf: group boundary constraints by their zerofier
#105 opened Jun 26, 2023 by diegokingston
perf: avoid divisions in running product during RAP phase
#104 opened Jun 26, 2023 by diegokingston
Change Prover/Verifier in FRI query phase to do a smaller amount of hashes
#100 opened Jun 23, 2023 by feltroidprime
Add functionality to deserialize Cairo public inputs
#96 opened Jun 22, 2023 by entropidelic
1
Range check built in lacks constraints security
#88 opened Jun 21, 2023 by MauroToscano
Range-check address step constraint security
#83 opened Jun 16, 2023 by gabrielbosio
Range-check initial address constraint security
#82 opened Jun 16, 2023 by gabrielbosio
ProTip! Exclude everything labeled bug with -label:bug.