StarkWare Labs รีทวีตแล้ว
StarkWare Labs
42 posts
StarkWare Labs
@StarkWareLabs
A @StarkWareLtd experiment.
onchain เข้าร่วม Haziran 2020
6 กำลังติดตาม1.3K ผู้ติดตาม
StarkWare Labs รีทวีตแล้ว
Starting in 3 hours (9am PST).
crowdcast.io/e/a-picture-is…
English
StarkWare Labs รีทวีตแล้ว
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/
English
StarkWare Labs รีทวีตแล้ว
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/
English
StarkWare Labs รีทวีตแล้ว
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…
English
StarkWare Labs รีทวีตแล้ว
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/
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 (@ 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.
English
StarkWare Labs รีทวีตแล้ว
Few :)
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 (@ 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.
QST
StarkWare Labs รีทวีตแล้ว
StarkWare Labs รีทวีตแล้ว
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!
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 (@ 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.
English
StarkWare Labs รีทวีตแล้ว
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 (@ 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.
English
StarkWare Labs รีทวีตแล้ว
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.
English
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…
YouTube
English
StarkWare Labs รีทวีตแล้ว
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:
crowdcast.io/e/tepsilon-cap…
English
StarkWare Labs รีทวีตแล้ว
The zkSTARK magic exists today - VeeDo
dark forest@darkforest_eth
.@BlaineBublitz and nightman.eth found an exploit in the Dark Forest v0.5 smart contracts, allowing players to "hack" Legendary artifact minting! Check out their guest post on our blog to learn more about the pitfalls of blockchain pseudo-randomness: blog.zkga.me/artifact-minti…
English
StarkWare Labs รีทวีตแล้ว
Wow this playground for Cairo by @StarkWareLtd is super fun to play around with:
cairo-lang.org/playground/
English
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/
English
StarkWare Labs รีทวีตแล้ว
Step 1: learn Cairo.
Step 2: scale dApps.
Here's how it works: cairo-lang.org/cairo-for-bloc…
English
StarkWare Labs รีทวีตแล้ว
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…
English