CairoLang (@CairoLang) / X

CairoLang

598 posts

CairoLang

@CairoLang

A programming language that makes it easy to build provable programs

zkSTARKs

Joined January 2021

Pinned
CairoLang
@CairoLang
Mar 26
Cairo is the computation (program + execution trace). S-two proves that execution ran correctly.
StarkWare 🥷
@StarkWareLtd
Mar 26
1/ The S-two whitepaper is out. A 2nd-generation proof system for Starknet, built as a circle STARK over M31 for exceptionally efficient arithmetic. It provides a formal description of S-two together with a soundness and security analysis of the proof system 👇
4.1K
CairoLang
@CairoLang
Oct 27, 2021
FIRST #StarkNet PROOF ON MAINNET🎉 This proof is only a preliminary test. We're still a month away from deploying StarkNet Alpha on Mainnet.✨
Ethereum Transaction Hash: 0x2f8d3e8443... | Etherscan
From etherscan.io
CairoLang
@CairoLang
Sep 30, 2021
We use math to provide scaling for blockchains. Human audits are the standard way to ensure code is error-free. We introduce a stronger alternative: a formal mathematical proof. The LEAN system is used to prove the correctness of the Cairo AIR.
arxiv.org
A verified algebraic representation of Cairo program execution
Cryptographic interactive proof systems provide an efficient and scalable means of verifying the results of computation on blockchain. A prover constructs a proof, off-chain, that the execution of...
CairoLang
@CairoLang
Dec 13, 2021
We are releasing a new version (v0.6.2) for #StarkNet Alpha 4 *ON TESTNET* What’s new? 💡API changes 💡Storage variables support tuples and struct arguments 💡Improved efficiency of Uint256 bitwise operations Read More 👇 :
community.starknet.io
Cairo v0.6.2: API change - Pending block
TLDR The semantics of status PENDING is changed PENDING status is broken into PENDING and ACCEPTED_ON_L2 State changes for transactions in the new PENDING state are reflected in the API by adding the...
CairoLang
@CairoLang
Apr 8, 2024
🎉The Cairo website has a new look! 🎉 Check it out at cairo-lang.org Build provable programs, from onchain games to provable ML with Cairo! It is your language of choice for writing zero-knowledge smart contracts and applications.
76K
CairoLang
@CairoLang
May 29, 2024
Developer survey 📢 Calling out all @CairoLang and @Starknet developers to voice your experiences, preferences and suggest improvements. Survey: forms.reform.app/starkware/star…
15K
CairoLang
@CairoLang
Apr 1, 2021
We’ve released Cairo v0.1.0! The new Cairo version has implicit arguments, no offsets in struct definition, and more. Join our discord and see our announcements for more details: discord.gg/AU8xCew5gK
GIF
CairoLang
@CairoLang
Apr 29, 2024
➡️ Why build games on @Starknet ? The Cairo VM is specialized for running computationally demanding programs. Running fully onchain gaming experiences is now possible! ➡️ The official guide to the Dojo Starter: book.dojoengine.org/cairo/hello-do… ➡️ Propulsion Program grants available:
00:00
17K
CairoLang
@CairoLang
Apr 24, 2024
Comparisons between @solidity_lang and Cairo by @nethermind 📖 medium.com/nethermind-eth… Key feature: upgradability with 'replace_class_syscall' ➡️ If you have a contract A and you want to upgrade it to contract B (an improved version of A), declare it and copy the new class
10K
CairoLang
@CairoLang
May 27, 2024
Starknet Devnet has a new doc! Now supporting Account Impersonation, a powerful tool for testing (use impersonated accounts from mainnet/testnet) 🦅 Check it out: 0xspaceshard.github.io/starknet-devne…
7.4K
CairoLang
@CairoLang
Mar 15, 2021
AMMs are all the rage. Here’s a step-by-step guide to building and deploying a scalable AMM from scratch. Thanks to Cairo, you can build an AMM on L2 today. It’s skeletal, so you can add your secret sauce.
cairo-lang.org
Cairo - Homepage
Cairo is The Rust-inspired language that makes it easy to build scalable dApps & smart contracts with the power of validity proofs.
CairoLang
@CairoLang
Feb 9, 2021
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.
CairoLang
@CairoLang
May 6, 2024
The first 2 @Starknet Basecamp 9 sessions are out! ➡️ Session 1: Fundamentals (youtube.com/watch?v=5NsePl…) ➡️ Session 2: Deep Dive (youtube.com/watch?v=KEoNXN…)
9.1K
CairoLang
@CairoLang
Oct 18, 2021
FYI: we opened a community-jobs channel on the #StarkNet discord. Looking for people to join your team? Looking for a team to benefit from your skills? You are welcome to post your ad on the community-jobs channel. Let the #StarkNet ecosystem do its magic discord.gg/uJ9HZTUk2Y