snarky

snarky copied to clipboard

Helpful for visualizing.

emberian

Remove R1CS_constraint_system from snark_intf

1

This PR removes an unused function, and drops the `R1CS_constraint_system` module from the `Snark_intf.*` interfaces.

mrmr1993

gabrielbosio

GoodDaisy

Cosmetics/Refactoring

2

This PR is purely cosmetic refactoring not intended to have any logical changes.

volhovm

Exposes snarky's internal state to o1js, in support of https://github.com/o1-labs/o1js/pull/1363

mitschabaude

chore: typo fix

1

minor typo fix in docs, that's it.

Gakunt

svv232

``` File "tuple_lib/intf.ml", line 1, characters 5-16: 1 | open Core_kernel ^^^^^^^^^^^ Error (alert deprecated): module Core_kernel [since 2021-05] Use [Core] -- [Core_kernel] was renamed as [Core]```

jmikedupont2