felt @feltroidPrime Twitter profile

Last Seen Profiles

@Miss_Felicitas

@AILayer_xyz

@pasutri_bwi

@indahbugil62

@BassinArcachon

@DoginalWarriors

@kaycee_mccumber

@na3nou3aa

@VinLeafs

@rcrabaugh321

@j_meissinger

@MorganJones2027

@padovb

@Morpheusreal69

@JBowles_IM

@Alfateh_Almawod

@Cinico

@NikilisRBX

@jm2etRawam

@XC_y5Q

@ProfsElise

@6P66P6

@SLanvaverde

@DLineCoachJ

@GuildOfHeroes_

@_bbh22

@GorguiDieng

@anticartesianne

@_6lux

@lylmhdy3

@WittDest

@paofu611

@Ricciardi_Emi

@SpaceWunder

@bookcritics

@inunoshampooya

felt

@feltroidPrime

1 year

The first ever Groth16 SNARK circuit has now been STARK-proven in Cairo with Garaga ; and yes it fits in one Staknet TX🕵️‍♂️ !!

13

32

163

felt

@feltroidPrime

5 months

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 at

felt

@feltroidPrime

5 months

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$. Bullish.

7

15

102

9

19

118

felt

@feltroidPrime

5 months

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$. Bullish.

7

15

102

felt

@feltroidPrime

1 year

Garaga is ready to verify the first ever SNARK inside a STARK. Wanna help and make history ? 👀

feat: add Groth16 SNARK circuit on bn254 verification example · Issue #45 · keep-starknet-strange...

add a file in /tests/cairo_snarks/groth16/sample_groth16.cairo input a groth16 proof and use the pairing and e12 arithmetics functions to verify it. Example of usage of the library can be found in ...

github.com

3

18

66

felt

@feltroidPrime

6 months

Garaga is presumably currently the fastest way of doing emulated pairing in circuits for bn254 (and soon bls12-381) curves A great reduction in cost is achieved moving away from the traditional towered approaches Made with @CairoLang

Faster Extension Field multiplications for Emulated Pairing Circuits - HackMD

This note is yours, feel free to play around. Type on the left and see the rendered result on the right.

hackmd.io

5

19

64

felt

@feltroidPrime

3 months

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

2

12

51

felt

@feltroidPrime

1 year

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 🕵️‍♂️

2

6

47

felt

@feltroidPrime

9 months

Updates about Garaga and its roadmap for the Starknet ecosystem : With the ongoing optimisations and @StarkWareLtd 's Stone prover anticipated release, we're getting closer to make SNARK verification on @Starknet or @MadaraStarknet app-chains a reality.

Advancing SNARKs-in-STARKs verification with Garaga: getting closer to maturity and efficiency -...

Garaga

hackmd.io

2

9

45

felt

@feltroidPrime

2 months

@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

2

4

35

felt

@feltroidPrime

1 year

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 network and obtain a secure source of randomness for #Starknet . 🙂

2

7

31

felt

@feltroidPrime

2 years

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

2

1

26

felt

@feltroidPrime

2 months

bullish on @KakarotZkEvm

1

4

26

felt

@feltroidPrime

1 year

Modular Arithmetic builtins + Dynamic Layouts = Starknet will be on fire for cryptography 🤩

StarkWare

@StarkWareLtd

1 year

Starknet is hitting the accelerator! Dynamic Layouts, an upgrade that reorganizes tasks per job to boost speed and trim costs. We also dive into builtins - application-specific virtual circuits designed to expedite computations in cryptographic proofs.

2

17

103

1

3

23

felt

@feltroidPrime

5 months

So 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.

0

1

24

felt

@feltroidPrime

1 year

many thanks to @OnlyDust_xyz , @StarkWareLtd , @dimahledba , @GuthL , @tek_kac , @HerodotusDev , @gnark_team , @YoussefElHousn3 for helping making this happen! 😉😉😉

0

20

felt

@feltroidPrime

1 year

An introduction to defeating malicious provers in local Cairo programs for efficient computations : . Gracefully reviewed with my friend @tek_kac , one of Garaga's main contributors.

Defeating malicious provers in Cairo : How to have a Zero-Knowledge Proof mentality in practice -...

How to use the power of Cairo hints by being two developers at the same time. ;)

hackmd.io

3

5

20

felt

@feltroidPrime

2 months

Bullish on @KakarotZkEvm ²

felt

@feltroidPrime

2 months

bullish on @KakarotZkEvm

1

4

26

0

4

20

felt

@feltroidPrime

1 year

I cannot thank enough the @StarkWareLtd team for the old .cairo files. They're like hand-written demonstrations, not code. Understand the comments and the code of core functions like in this file and you'll understand a lot about crypto and zkp mentality.

ShortURL - URL Shortener

www.shorturl.at

1

2

20

felt

@feltroidPrime

6 years

@rogerkver nobody cares about your shitcoin bro

0

17

felt

@feltroidPrime

1 year

What an amazing week it was around the @starkware sessions event. Awesome organisation from @OnlyDust_xyz for the hacker house. Really great people I'm glad to have met or seen again. Thank you everyone.

1

19

felt

@feltroidPrime

1 year

our matrix multiplications don't look the same anon 🤣

1

17

felt

@feltroidPrime

3 months

@DCbuild3r @GuthL @dimahledba @Starknet @ZeroSync_ Cairo STARK Verifier is from the rest of Herodotus team, @0xmarcello , @0xtiagofneto , @bartekn337 , @neoprogramist ! I did almost nothing

1

0

15

felt

@feltroidPrime

1 year

You can look at the code here : Run the program by forking Garaga locally and: make setup make go make run-profile then type : "sample_groth16.cairo"

2

0

14

felt

@feltroidPrime

1 month

Bring Garaga to Starknet and it will fix it Privacy Randomness Bls sigs Noir Groth16 Verkle trees Worldcoin ZkLogin More

Abdel 全快 🐉 🐺 Zenkai

@dimahledba

1 month

Dear non Starknet users (8,104,225,549 - 8 Starknet users = 8104225541), I have few words for you, and I am begging you to listen (yeah I am the e-beggar now). I want to give briefly my PERSONAL opinion / sentiment with respect to some FUD around Starknet, mainly on 2 topics: -

3K

278

1K

2

0

14

felt

@feltroidPrime

1 year

I need to continuously defeat malicious provers. In Cairo, in my mind and in this world.

1

9

felt

@feltroidPrime

1 year

To all the only dust TEAM ❤️, @dimahledba and @GuthL , wouldn't be here without you! @ETazou , @ClementWalter @tek_kac 🙏⭐ All @HerodotusDev team, @ClassLambda team., many more. This isn't about just shaking hands and fake smiling. Profound discussions and fun. See you soon

4

0

9

felt

@feltroidPrime

2 months

@NicolasRamsrud With Garaga in Cairo we can do a BLS pairing with a cost of only 200k Cairo steps. Product of 3 pairings in 300k Cairo steps. Code is ready and will soon be provable with Stone.

1

9

felt

@feltroidPrime

2 months

@eniwhere_ @KakarotZkEvm How can I work as an interviewer for Kakarot ?

0

9

felt

@feltroidPrime

29 days

u96 = Modulo Builtin = Garaga

gaetbout

@gaetbout

29 days

Your Monday #Cairo update: - Numeric support for bounded ints - New u96 type🤔 - Trait consts - Generic handling to trait/impls type😍

0

1

10

0

9

felt

@feltroidPrime

11 months

wen more steps mommy 👈👉 ?

0

10

felt

@feltroidPrime

8 months

do more with less

2

0

8

felt

@feltroidPrime

29 days

Best birthday gift!! Thank you @__geometry__ !

Geometry Research

@__geometrydev__

29 days

Paper: Let’s say that you have an existing Groth16 or Plonk proof, and you want to verify them in a SNARK. This is needed for a bunch of use cases: * zk light clients * zkzkrollups * private voting * aggregation of proofs * games with private state 2/13

1

6

24

1

0

8

felt

@feltroidPrime

3 years

@cz_binance Only 3 years late, well done

0

6

felt

@feltroidPrime

3 months

@StarkWareLtd awesome

0

6

felt

@feltroidPrime

1 year

We need to save python hints!! And build a community version of Cairo 0.11 with the choice of connected provers and dedicated Cairo 1.0 verifiers for Starknet. The python Cairo VM can be easily and gradually Cythonized for its core parts and run much faster. Up to C-level speed!

1

7

felt

@feltroidPrime

1 year

To people wanting to do efficient Machine Learning in Cairo, you should keep this in mind :)

1

0

7

felt

@feltroidPrime

2 months

Now wait for us to get some Threadripper PRO 7995WX 🏔️⛏️☢️

Herodotus 🛰

@HerodotusDev

2 months

First STARK proof verified on Starknet Mainnet:

19

40

195

0

6

felt

@feltroidPrime

1 year

True, and one should do more research and realize that in these systems nodes can have different computation capacity and not be slowed by the weakest one. That's the main benefit of proving instead of repeating across different machines.

Fede Unleashed 🧙‍♂️

@fedeunleashed

1 year

It’s completely possible if you can run f(x) in many big machines that are faster than the ones than run g(x). @aeyakovenko you’re forgetting about batching and distribution of the proof generation in machines that are more powerful than the nodes of the L1.

0

2

11

0

1

5

felt

@feltroidPrime

2 months

@fede_intern @class_lambda @StarkWareLtd Poseidon hash will save us

0

6

felt

@feltroidPrime

1 year

getting closer to have blazingly fast cryptography in Cairo 👀 =>

felt

@feltroidPrime

1 year

Modular Arithmetic builtins + Dynamic Layouts = Starknet will be on fire for cryptography 🤩

1

3

23

0

6

felt

@feltroidPrime

5 months

@BrumeWallet @juiceboxETH @juicebox_money congrats

0

5

felt

@feltroidPrime

1 year

@fede_intern @Starknet Instead of having one master prover decentralize and parallelize the provers for very small batch of txs and keep the master prover only aggregating. I think it's what fit bests this proving system and can make it scale with the number of nodes.

0

6

felt

@feltroidPrime

3 years

@flying_dutc @ZackG1982 @PeterSchiff Problem is that currencies are not companies. Adoption is driven by trust and community. For bitcoin to fail, it has to fail spectacularly like @aantonop said in this talk . Trust is proportional to time of existence.

1

0

5

felt

@feltroidPrime

8 months

@0xtiagofneto @piapark_eth @DCbuild3r soon truly efficient

1

0

4

felt

@feltroidPrime

1 year

My mood when STARK-proving Paillier's homomorphic encryption cryptosystem with Cairo

Mad Hair (Original Mix)

Provided to YouTube by Triple Vision Record DistributionMad Hair (Original Mix) · [KRTM]It Will Make The World A Better Place℗ ARTSReleased on: 2021-05-10Aut...

www.youtube.com

0

5

felt

@feltroidPrime

1 year

@fedeunleashed @ConsenSys @aztecnetwork @NoirLang amazing Gnark, Garaga and Noir soon in full synergy

0

2

4

felt

@feltroidPrime

9 months

@GuthL just another name for client side proving

0

1

5

felt

@feltroidPrime

1 year

felt* is the way

0

5

felt

@feltroidPrime

1 year

When I'll have enough knowledge I'd like fork Cairo 0.11 no matter what you guys are saying, change the Prime field to bls12-377 and/or add custom builtins. Cairo1.0 is best for Starknet but Cairo 0.11 is the best for local provers to have more flexibility and learn STARK.

3

1

5

felt

@feltroidPrime

2 months

After 7 years of Linux Mint I’m now 30 minutes inside Fedora and I already feel there is no coming back

1

0

5

felt

@feltroidPrime

2 months

never getting tired of this feeling when I compute a hash in the python console and seeing with ctrl+f that I got a match

1

5

felt

@feltroidPrime

6 months

@Starknet more steps mummy?

0

4

felt

@feltroidPrime

2 years

Glad to have led the work for this with @EmpiricNetwork

Pragma 🧩

@PragmaOracle

2 years

1/6 Excited to announce that Empiric Network has ported over the @compoundfinance and @coinbase Open Oracle standard to StarkNet! Learn more 🧵👇

7

12

52

0

5

felt

@feltroidPrime

9 months

@galronx Delighted to be there!

0

5

felt

@feltroidPrime

10 months

@hazae41 @BrumeWallet ledger support?

9

0

1

felt

@feltroidPrime

10 months

chad

Haz Æ 41

@hazae41

10 months

I will make a custom Ledger SDK with maximum security, privacy, and reliability

1

0

7

0

4

felt

@feltroidPrime

9 months

when @Starknet support in @BrumeWallet ?

1

0

4

felt

@feltroidPrime

1 month

8 is enough - Not worried @Starknet

Big L - 8 Iz Enuff

Lifestylez Ov Da Poor & Dangerous 04 - 8 Iz Enuff

www.youtube.com

1

0

4

felt

@feltroidPrime

2 months

@eniwhere_ Très bonne décision Les jeunes ont perdu la valeur des choses depuis que les bits sont devenus accessibles en illimité

1

0

4

felt

@feltroidPrime

6 months

@tradeparadex @Starknet @MadaraStarknet 20M cairo steps / block ? Where ?

1

4

felt

@feltroidPrime

1 year

@stark_oracle soon

0

4

felt

@feltroidPrime

9 months

Private inputs are not enough for writing efficient or innovative zk circuits. Inlined hints is a must.

1

0

4

felt

@feltroidPrime

7 months

@zkdiegokingston @MauroToscanoDev @fenbushi @class_lambda he's clearly glowing up as the prover is getting more efficient

0

4

felt

@feltroidPrime

5 years

@soleil_dusoir9 it's not true. Fake volume exchanges are included in coinmarketcap For more accurate volumes see

0

1

4

felt

@feltroidPrime

1 year

Nice 👀

Louis Guthmann zk/acc | 💅 | 🐺-Maxi

@GuthL

1 year

@dimahledba @federicocarrone Here it is

2

1

4

0

2

felt

@feltroidPrime

2 months

@eniwhere_ Le monde allait bien mieux quand les bits étaient une denrée précieuse. On en prenait soin, pas comme aujourd’hui …

1

0

3

felt

@feltroidPrime

7 months

@aztecnetwork @fede_intern please provide nice jsons exports for proofs and verifying keys with explicit variables names 🙏

1

0

2

felt

@feltroidPrime

1 year

@liamzebedee Cairo 0 sir ;)

1

0

3

felt

@feltroidPrime

7 months

don't worry this will get divided by 8 if not more Good job @pauliC_C !

Pauli

@pauliC_C

7 months

5/ we should get something like this. Signature Verification: ✅

1

0

2

0

1

3

felt

@feltroidPrime

2 years

@StarknetCC @0xwlGravity @sam_jdc Any idea of dates in lisbon ? I'd like to book my planes tickets while it's cheap 🙏 Also I missed the conf in Paris enven though I had my ticket because of covid, really don't want to miss this one ...

1

0

3

felt

@feltroidPrime

1 month

@dimahledba In every hackathon I saw at least one team wanted to verify a circom proof on Starknet. There is a good track to follow for apps and devs after that.

0

3

felt

@feltroidPrime

11 months

@Starknet 👉👈

0

3

felt

@feltroidPrime

1 year

@kobigurk @fede_intern Give a try to @joplinapp . Open source and made in France.

0

3

felt

@feltroidPrime

2 years

@AFP @Lagarde i thought Bitcoin wasn't a currency... can you explain please ?

1

0

3

felt

@feltroidPrime

2 years

@LeTempsDuDebat @EmmanuelLauren2 @ClaireBalva @KPMG_France @AuroreLalucq @TheProgressives @placepublique_ @MonnetEric @EHESS_fr @PSEinfo @franceculture @EditionsduSeuil Le niveau était tellement bas et rempli de confusions ... On ne s'en sortira jamais sans prendre plusieurs heures d'affilées. A chaque fois on ne touche que la surface de manière très approximative et on fait du surplace.

0

2

felt

@feltroidPrime

1 year

just minted my feltroidprime.stark @Starknet_id domain for 5 years now let's kill some prime hunters

2

0

2

felt

@feltroidPrime

8 months

@phklive @StarknetCC @Starknet "just generated my bitcoin private key!"

0

2

felt

@feltroidPrime

1 year

@jeffvanderstoep @remindmeof_this in 1 week

2

0

2

felt

@feltroidPrime

1 year

@fede_intern @LambdaStarknet next gen war machines

0

2

felt

@feltroidPrime

1 year

@dimahledba @GuthL @KakarotZkEvm @lemiscate Unlimited steps allowed soon so that's true 🤣

0

2

felt

@feltroidPrime

1 year

@ClassLambda @JuanBono wen French workshop? :)

0

2

felt

@feltroidPrime

1 year

@fede_intern @bobbinth yep.

0

2

felt

@feltroidPrime

11 months

@fede_intern when we have bigint modmul builtin

0

2

felt

@feltroidPrime

2 months

Alive and well

0

2

felt

@feltroidPrime

1 year

@ETazou @andrewmilson it's supposed to be as secure, they use extension fields (think real and imaginary part c = a + i*b) to get a bigger space. the benefit is that 64 bit fits into cpu so modular arithmetic is native for regular computers

2

0

2

felt

@feltroidPrime

1 year

1. Cairo 0.1 hints have this super sexy feature where we're able to interact on-the-go with the prover and ask him anything. It can be complex maths written in Cairo indeed, but what about data from local dB, api calls, great debugging, or IoT sensors of the device proving?

Shahar Papini

@PapiniShahar

1 year

@feltroidPrime @dimahledba Theoretically you can write your hint functions in Cairo1 itself, and have a single libfunc that calls a function as a hint. I always had this vision of writing hints in Cairo itself. Maybe it'll even be supported in starknet if it's safe enough.

2

8

1

0

2

felt

@feltroidPrime

1 year

@AnomalRoil @federicocarrone @dimahledba

0

2

felt

@feltroidPrime

3 years

@noobkidloko @cz_binance Same issue for me.

0

2

felt

@feltroidPrime

4 years

@cz_binance it's ridiculous that you're still not developing a Linux version

0

2

felt

@feltroidPrime

6 years

@PhilakoneCrypto lol

0

2

felt

@feltroidPrime

2 months

@NicolasRamsrud Link in bio sir

1

0

2

felt

@feltroidPrime

3 months

@tx_track Note : I’m happy that this exists and want to say congrats to @reilabs_io as it will be very useful to pass inputs to a program and for testing an algorithm against other implementations for example. Overall Cairo 1 is getting better and better now, will soon switch to it :)

0

2

felt

@feltroidPrime

6 months

@hazae41 @BrumeWallet can you explain why using brume wallet is protecting us from this issue?

1

0

2

felt

@feltroidPrime

2 years

This is proof of my account ownership and participation in @Starkboard OG program. Early ones will be rewarded! OG ID : 34037

0

2

felt

@feltroidPrime

3 years

@adan_asso @FATFNews Ridicule et inapplicable

0

2

felt

@feltroidPrime

3 months

@tx_track I wouldn’t say it’s so much better for two reasons : 1. inlined hints had the advantage to let you view the nondeterministic part and the verification part in the same place. It’s compact and great to learn or review. Here to compute a square root you have 6 different files to

2

0

2

felt

@feltroidPrime

2 months

@shrameetweets What happened for such a change?

1

0

2

felt

@feltroidPrime