The first ever Groth16 SNARK circuit has now been STARK-proven in Cairo with Garaga ; and yes it fits in one Staknet TX🕵️♂️ !!
felt31
949 posts
felt31
@feltroidPrime
Magmoor Caverns
Joined August 2010
- What does it mean ? It means that excluding storage update costs that will be fixed with Volition/EIP4844, in terms of pure computation, today a groth16 verification costs ~25$ to verify on Ethereum. With Starknet 0.13 dividing compute costs by 2, and groth16 verif with Garaga atJust deployed my first ever Cairo1 contract on @Starknet mainnet because I was fed up of the baby 10k steps transactions I was seeing and I wanted to test the limits. Got this one with 2.94 Millions steps (current max is 3M) for only 3.65$. starkscan.co/tx/0x36df40f97… Bullish.
- Just deployed my first ever Cairo1 contract on @Starknet mainnet because I was fed up of the baby 10k steps transactions I was seeing and I wanted to test the limits. Got this one with 2.94 Millions steps (current max is 3M) for only 3.65$. starkscan.co/tx/0x36df40f97… Bullish.
- Garaga is presumably currently the fastest way of doing emulated pairing in circuits for bn254 (and soon bls12-381) curves hackmd.io/@feltroidprime… A great reduction in cost is achieved moving away from the traditional towered approaches Made with @CairoLang
- Latest costs of pairings in @CairoLang A 10 Million steps block on @Starknet could be filled with 25 Groth16 verifications, regardless of the elliptic curve
- today was a good day. Zero-noise off-chain recursive ETH block headers verification in Cairo. You have no idea how powerful the tools we are building at @HerodotusDev will get anon 🕵️♂️
- @eniwhere_ is truly the #1 chad of @CairoLang He was there helping me debugging CairoZero in 2022 in a hackathon in Paris. Today he’s helping me again answering my noob questions of Cairo1 and catching up. Grateful for your help
- BLS12-381 pairings are now implemented and fully working in pure Cairo. When Garaga's hints are whitelisted we'll be able, for example, to verify the BLS signatures of drand.love network and obtain a secure source of randomness for #Starknet. 🙂
- Starknet is going to be amazing in 6 to 9 months, with the STARK prover released to everyone and the Cairo verifier on starknet. L3 dream will come true. Machines with very different computation capacity will be able to interact just by sharing proofs on L2 😎. LFG
- Modular Arithmetic builtins + Dynamic Layouts = Starknet will be on fire for cryptography 🤩
- Replying to @feltroidPrimeSo definitely computation is cheap. Data updates aren't. That's why we see swaps at 15k steps costing 1.5$ and this 3M steps tx only a bit more expensive despite doing 200x more computation. So with Volition / EIP4844 it's going to be great.
- Replying to @feltroidPrimemany thanks to @OnlyDust_xyz, @StarkWareLtd, @abdelstark, @GuthL, @tek_kac, @HerodotusDev, @gnark_team, @YoussefElHousn3 for helping making this happen! 😉😉😉
- An introduction to defeating malicious provers in local Cairo programs for efficient computations : hackmd.io/@feltroidprime… . Gracefully reviewed with my friend @tek_kac , one of Garaga's main contributors.
