feat: Generate the full_proof_with_hints

[esdras-sena]

Feature Request

Describe the Feature Request

How to generate the full proof with hints, is there a Javascript or Rust package to make it?

[feltroidprime]

which proof system are you referring to ?

in all cases, you can use the garaga calldata command after installing the pip package

[esdras-sena]

which proof system are you referring to ?

in all cases, you can use the garaga calldata command after installing the pip package

i'm using javascript, is there a way to extract the "full_proof_with_hints" from the call data?

[feltroidprime]

which proof system are you referring to ?
in all cases, you can use the garaga calldata command after installing the pip package

i'm using javascript, is there a way to extract the "full_proof_with_hints" from the call data?

Please answer the first question. The garaga npm package might already contain what you need if you're using groth16 or risc0.

To answer, the full_proof_with_hints IS the output of the calldata command.

[esdras-sena]

which proof system are you referring to ?
in all cases, you can use the garaga calldata command after installing the pip package

i'm using javascript, is there a way to extract the "full_proof_with_hints" from the call data?

Please answer the first question. The garaga npm package might already contain what you need if you're using groth16 or risc0.

To answer, the full_proof_with_hints IS the output of the calldata command.

sure, i'm using groth16 and using garaga to get the calldata in a react frontend to pass to my contract

[feltroidprime]

garaga/tools/npm/garaga_ts/src/node/api.ts

Line 62 in fdffae4

export function getGroth16CallData(proof: Groth16Proof, verifyingKey: Groth16VerifyingKey, curveId: CurveId){

You can use this function from the garaga npm package https://felt.gitbook.io/garaga/installation/npm-package

[esdras-sena]

garaga/tools/npm/garaga_ts/src/node/api.ts

Line 62 in fdffae4

export function getGroth16CallData(proof: Groth16Proof, verifyingKey: Groth16VerifyingKey, curveId: CurveId){

You can use this function from the garaga npm package https://felt.gitbook.io/garaga/installation/npm-package

i'm passing the calldata generated by the function getGroth16CallData directly to the function verify_groth16_proof_bn254 of the Verifier contract generated by garaga, but i'm getting this error Execution failed. Failure reason: 0x4f7074696f6e3a3a756e77726170206661696c65642e ('Option::unwrap failed.'). do i need to make some changes in the calldata before passing as full_proof_with_hints?

[snehaa-eth]

Let me try this one!