David Wong

common index between prover and verifier index

4

It would be nice to create a CommonIndex that is shared by both the prover and verifier indexes (domain, shifts, public input size). The rest of the prover index and...

Enforce lengths of commitments in protocol

6

Our implementation of `PolyCom` allows any commitment to be chunked/split. This is to commit to polynomials that are larger than the SRS. To avoid collisions in the transcript, it is...

[types] refactoring types

6

There are two issues that I'd like to address in this thread: 1. the lack of types 2. the semantic of current types ## The lack of types In the...

I believe the constant that we compute on the side could make this difficult... but it would make things much clearer as well

outdated PR from @mrmr1993: https://github.com/o1-labs/proof-systems/pull/276/files I believe there are some manual optimizations that currently prevent us from doing that

[kimchi] absorb verifier index + recursion data

1

- [x] adds number of proofs verifier in a recursion circuit to `ConstraintSystem` - [x] adds public input size to verifier index - [x] absorbs verifier index in proof -...

verify: move public input from proof to argument of the verify function

1

It doesn't make sense to have the public input be part of the proof cc @rot256

unexpected Github API error: "Validation Failed"

4

**Hopefully this thread gives an idea of issues that arise when trying to use dune-release for a typical flow** I'm getting this error when trying to `dune-release` a library: ```...

custom opam repositories are not well-handled

8

Hello hello! First, `dune-release` is really a fantastic piece of software! That being said, I ran into some trouble today that I managed to solve but this might help someone...