StarkWare Labs (@starkwarelabs) 's Twitter Profile
StarkWare Labs

@starkwarelabs

A @StarkWareLtd experiment.

ID: 1268494341124902913

calendar_today04-06-2020 10:46:57

42 Tweet

1,1K Followers

6 Following

Eli Ben-Sasson (@elibensasson) 's Twitter Profile Photo

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: crowdcast.io/e/the-value-of…

StarkWare Labs (@starkwarelabs) 's Twitter Profile Photo

ICYMI: Cairo (our Turing-complete programming language) has a new playground with cool challenges. Quickly quickly now, go and try it out. cairo-lang.org/playground/

Eli Ben-Sasson (@elibensasson) 's Twitter Profile Photo

Join Andre Cronje and Louis Guthmann zk/acc | 💅 | 🐺-Maxi as we discuss L2-Defi with near-instant finality on our next STARK @ Home. Thursday Feb 11 @ 9AM PST. Register early, register often, here: crowdcast.io/e/tepsilon-cap…

StarkWare Labs (@starkwarelabs) 's Twitter Profile Photo

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: youtube.com/watch?v=dJzIKQ…

CairoLang (@cairolang) 's Twitter Profile Photo

Cairo proofs on Ropsten Off-chain: 1. Write any foo(bar) in Cairo. 2. Compute foo(bar). Result=blah. 3. Compute STARK proof (@ cairo-lang.org/playground; API soon). On Ropsten: 4. If proof valid, store Fact “foo(bar)=blah” in Fact Registry. 5. Query Fact Registry from your dApp.

Cairo proofs on Ropsten

Off-chain:
1. Write any foo(bar) in Cairo.
2. Compute foo(bar). Result=blah.
3. Compute STARK proof (@ cairo-lang.org/playground; API soon).

On Ropsten:
4. If proof valid, store Fact “foo(bar)=blah” in Fact Registry.
5. Query Fact Registry from your dApp.
Eli Ben-Sasson (@elibensasson) 's Twitter Profile Photo

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: cairo-lang.org/playground/

Gavin Andresen (@gavinandresen) 's Twitter Profile Photo

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) 's Twitter Profile Photo

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) 's Twitter Profile Photo

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

CairoLang (@cairolang) 's Twitter Profile Photo

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! cairo-lang.org/playground/

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!
cairo-lang.org/playground/
CairoLang (@cairolang) 's Twitter Profile Photo

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: cairo-lang.org/playground/