IVC draft #213
KiriosKAnnotations
1 error and 11 warnings
|
Rust Inline Test
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
|
|
Rust Inline Test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Rust Inline Test:
nova/src/circuit/augmented.rs#L13
structure field `U_i` should have a snake case name
|
|
Rust Inline Test:
nova/src/circuit/augmented.rs#L14
structure field `U_i1` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L97
variable `U_i` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L97
variable `W_i` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L107
variable `U_relaxed_r1cs` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L99
variable `U_i_1` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L99
variable `W_i_1` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L99
variable `commit_T` should have a snake case name
|
|
Rust Inline Test:
nova/src/ivc.rs#L147
variable `commit_T` should have a snake case name
|
|
Rust Inline Test
`zknova` (lib) generated 9 warnings
|