Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Proper transcript handling #145

@davidnevadoc

Description

@davidnevadoc

After the discussion on how to properly add the Public Inputs to the transcript (#134 ) we found that other parts of the code were also mishandling the transcript. For the addition of custom gate related evaluations:

  • self.evaluations
    .custom_evals
    .vals
    .iter()
    .for_each(|(label, eval)| {
    let static_label = Box::leak(label.to_owned().into_boxed_str());
    transcript.append(static_label.as_bytes(), eval);
    });

This issue should be addressed together with the new design for custom gates in #128

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions