feltroid Prime
feltroid Prime
- build cli in tools/starknet/starknet_cli.py Expose main function to pyproject.toml so that user can call it after installing garaga package Workflow should be : pip install garaga garaga gen_verifier --system...
build pyproject with maturin -- make sure to generate wheels for all anylinux / macos. https://www.maturin.rs/distribution Needs to do #137 before.
Closes # ## Introduced changes - - ## - [ ] This PR contains breaking changes
u384 takes 4-5 lines to write as constant or in tests, so this would improve a lot readability and dev experience Currently i've added - the trait implementation in cairo...
see https://github.com/keep-starknet-strange/garaga/discussions/217 > I have a snarkjs generated artifacts (verification_key.json, public_inputs.json, proof.json, etc). > > I generate cairo contract using `garaga gen --system groth16 --vk verification_key.json`, which created 3 files,...
Change the struct in src/src/utils/calldata.cairo from ``` #[derive(Serde, Drop)] struct FullProofWithHintsRisc0 { groth16_proof: Groth16ProofRaw, image_id: Span, journal_digest: Span, mpcheck_hint: MPCheckHintBN254, small_Q: E12DMulQuotient, msm_hint: Array, } ``` to ``` #[derive(Serde, Drop)]...
Lambdaworks has now BN254 and BLS Fq12 types and pairings implemented in https://github.com/lambdaclass/lambdaworks/tree/main/math/src/elliptic_curve/short_weierstrass/curves Removing ark would help us having faster and smaller builds, and unified code
## Current behavior : Generated groth16 contracts looks like this : https://github.com/keep-starknet-strange/garaga/blob/6135bd6dec063851a8249e1dafc8a7e4c98abf9d/src/contracts/groth16_example_bls12_381/src/groth16_verifier.cairo#L81-L99 They call an internal function if the proof is verified with the public inputs parsed from the proof...
it actually make a few percent diff overall on compilation / running