Fix pedantic lints

[mimoo]

run:

$ cargo clippy -- -W clippy::pedantic

and fix some of the warnings

[github-actions[bot]]

Stale issue message

[github-actions[bot]]

Stale issue message

[duguorong009]

@mimoo I will also take care of this issue.

[mimoo]

cool thanks : ) don't hesitate to ping me here or on twitter if you have questions.

[duguorong009]

@mimoo I think the following line is for creating the cell(s) for setting up the prover_index(prover_key). https://github.com/o1-labs/proof-systems/blob/master/circuit-construction/src/prover.rs#L175 Atm, it does have one parameter(FnOnce) for creating the default empty value.(like let v = system.var(|| panic!("fail"));) Can I update the Writer::var() trait to have no parameter? The reason is that I think it is unnecessary. Also, the parameter value is, in most cases, || panic("fail!").

[duguorong009]

@mimoo Please go for reviewing the PR #752 .

[github-actions[bot]]

Stale issue message