Skip to content

feat: Make IntoCircuitInputValue trait and associated utils (into_u96_guarantee) public in circuit.cairo #7581

@feltroidprime

Description

@feltroidprime

Cannot implement the trait for other types than u384 when using edition 2024

The goal is to implement this trait for other structs, and have generic function like

pub fn run_circuit<T, +IntoCircuitInputValue<T>, +Drop<T>>(value: T) -> (u384,) 

But the trait needs to be imported, both to implement it (into_u96_guarantee is useful as well to export if not mandatory) and to run functions

Example here :

https://github.com/keep-starknet-strange/garaga/blob/bd32021c3545829d91df7bf118d713a346ef552e/src/src/core/circuit.cairo#L47-L54

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions