StarkWare Labs

A @StarkWareLtd experiment.

[Starknet (Privacy Arc) @Starknet]

gm. ready for day 2?

@art_peace_sn is on fyya 🔥

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Starting in 3 hours (9am PST).
https://t.co/KwppLT4uyD

[CairoLang @CairoLang]

Wow that was fast, all the Cairo Games puzzles were solved in less than 48 hours 😳

We’re adding more prizes to make sure the fun continues. Solvers 2-10 will get Ether prizes too. And of course, everyone gets the limited-edition NFT ⚡️

Do your best: https://t.co/FQNu9hiA2y

[CairoLang @CairoLang]

Welcome to the first-ever Cairo Games!
Who will be the first to solve our puzzles?
Maybe you? The blockchain will be the judge of that.
If you’re up to the challenge, go to our Playground, pick a puzzle, try to win a prize.
When? 4pm GMT.
Ready, set, go!
https://t.co/FQNu9hiA2y

[CairoLang @CairoLang]

Tomorrow it begins.
Don’t be left behind - try the example puzzle and make sure you are ready when it’s go-time.

https://t.co/QuZv1KSVxr

[StarkWare Labs @StarkWareLabs]

Cairo Games!

[StarkWare 🥷 @StarkWareLtd]

Only 3 days standing between you and glory.
Check out our Cairo Games.

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Write *ANY* program in Cairo.
Execute it.
Press "Send to GPS" button.
Make Coffee....

STARK proof of YOUR program is verified on Ropsten.
Sip Coffee and rejoice.

Try it here: https://t.co/rf6lE60q6v

[Jonathan Caras @madcapslaugh]

Few :)

[Oren Katz @OrenKatz1]

@CairoLang Here's a playground that isn't closed due to COVID

[Gavin Andresen @gavinandresen]

Trivia I’ve never shared before: In 2013 I twisted a couple of arms and squeezed a talk by Eli Ben-Sasson into the technical track of the San Jose bitcoin conference. It seemed like they were starting something important, and they were!

[Riabzev Michael @RiabzevMichael]

It is the first time ANYONE can generate a STARK proof easily, for a statement described in Cairo, and ensure it is verified on-chain. This is absolutely amazing!

[CairoLang @CairoLang]

Cairo proofs on Ropsten

Off-chain:
1. Write any foo(bar) in Cairo.
2. Compute foo(bar). Result=blah.
3. Compute STARK proof (@ https://t.co/NpxAkM0zzb; API soon).

On Ropsten:
4. If proof valid, store Fact “foo(bar)=blah” in Fact Registry.
5. Query Fact Registry from your dApp.

[StarkWare Labs @StarkWareLabs]

You've heard about Cairo (and if you haven't you should check it out!) Now take the STARK journey that took it from ASIC to CPU:
https://t.co/kv8jt3EE0z

[StarkWare Labs @StarkWareLabs]

You've heard about Cairo (and if you haven't you should check it out!) Now take the STARK journey that took it from ASIC to CPU:
https://t.co/kv8jt3EE0z

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Join @AndreCronjeTech and @GuthL as we discuss L2-Defi with near-instant finality on our next STARK @ Home. Thursday Feb 11 @ 9AM PST.

Register early, register often, here:
https://t.co/vroywl9sCx

[Yael Doweck ✨ @YaelDoweck]

The zkSTARK magic exists today - VeeDo

[Dan Nolan @BeingDanNolan]

Wow this playground for Cairo by @StarkWareLtd is super fun to play around with:

https://t.co/H1mfSbZrgi

[StarkWare Labs @StarkWareLabs]

ICYMI: Cairo (our Turing-complete programming language) has a new playground with cool challenges.
Quickly quickly now, go and try it out.
https://t.co/4BIJRgAdux

[CairoLang @CairoLang]

Step 1: learn Cairo.
Step 2: scale dApps.
Here's how it works: https://t.co/sSU2HoIsUZ

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Done reflecting on past year?
Come hear Prof. Avi Wigderson's reflecting on past 35 years of research on proof systems.
This Thursday 8:30am PST/11:30am EST.
Free registration: https://t.co/izIEwRW02m