[RFC] Extending scope of the RFC to include proving system and curve

[damirka]

Motivation

Follow up after speaking with Howard. We'd want to have proving system and curve parameters inside Leo.toml to later match based on compatibility of ps and curves.

[codecov]

Codecov Report

Merging #1072 (35660c8) into master (1083fc8) will decrease coverage by 0.05%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1072      +/-   ##
==========================================
- Coverage   75.79%   75.73%   -0.06%     
==========================================
  Files         439      439              
  Lines       17803    17802       -1     
==========================================
- Hits        13493    13482      -11     
- Misses       4310     4320      +10     

Impacted Files	Coverage Δ
compiler/src/expression/array/array.rs	57.14% <0.00%> (-28.58%)	⬇️
compiler/src/statement/assign/assign.rs	68.42% <0.00%> (-5.27%)	⬇️
...piler/src/statement/assign/assignee/array_index.rs	84.21% <0.00%> (-5.27%)	⬇️
asg/src/reducer/reconstructing_reducer.rs	89.14% <0.00%> (-3.17%)	⬇️
asg/src/reducer/visitor.rs	90.62% <0.00%> (-3.13%)	⬇️
compiler/src/expression/array/access.rs	48.33% <0.00%> (-2.50%)	⬇️
asg/src/reducer/visitor_director.rs	83.44% <0.00%> (-2.37%)	⬇️
asg/src/reducer/reconstructing_director.rs	92.55% <0.00%> (-2.33%)	⬇️
compiler/src/expression/expression.rs	81.25% <0.00%> (-2.09%)	⬇️
asg/src/expression/array_init.rs	74.46% <0.00%> (-1.88%)	⬇️
... and 14 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1083fc8...35660c8. Read the comment docs.

[acoglio]

Looks good.

[acoglio]

Looks good.

[gluax]

LGTM

[bendyarm]

Looks good!