JediSwap is a 100% community-led fully permissionless and composable AMM on Starknet.
JediSwapIntroducing Jediswap concentrated liquidity AMM
The origins of Jediswap go back to early 2020 when we started our journey not as a product but as a community known as the Mesh community. Our mission was clear: to bring Open Finance to billions of people. Recognising the strength of community-driven efforts, we understood that collective belief and collaboration, rather than individual or corporate endeavours, would be the most effective path forward. The Mesh community had a humble beginning with only a few contributors in the first month ...
JediSwapUnlocking new games with Cairo and Starknet
Blockchain technology has been at the forefront of technological innovation, and the gaming space is no exception. The rise of onchain decentralized games has created opportunities for developers and players alike, and Starknet is one of the most promising platforms in this space. In this article, we explore the key features of an onchain game, the challenges developers face, and the technological advantages Starknet brings to revolutionize the space.Introduction to onchain gamesOnchain games...
JediSwapThe Rise of the First LPs
November 30th, 2022, has a special place in every Jedis’ heart. That’s when our mainnet was launched at StarkNet CC India, and integration with Argent-X was announced. Since then, we have steadily been growing in TVL, active users, and trading volume. On April 13th, 2023, we crossed $2.5M in total value locked.JediSwap TVLThere has been consistent growth in trading volume, and users have already traded more than $30M on JediSwap. It has resulted in consistently high APYs to LPs. For pairs lik...
JediSwapIntroducing Jediswap concentrated liquidity AMM
The origins of Jediswap go back to early 2020 when we started our journey not as a product but as a community known as the Mesh community. Our mission was clear: to bring Open Finance to billions of people. Recognising the strength of community-driven efforts, we understood that collective belief and collaboration, rather than individual or corporate endeavours, would be the most effective path forward. The Mesh community had a humble beginning with only a few contributors in the first month ...
JediSwapUnlocking new games with Cairo and Starknet
Blockchain technology has been at the forefront of technological innovation, and the gaming space is no exception. The rise of onchain decentralized games has created opportunities for developers and players alike, and Starknet is one of the most promising platforms in this space. In this article, we explore the key features of an onchain game, the challenges developers face, and the technological advantages Starknet brings to revolutionize the space.Introduction to onchain gamesOnchain games...
JediSwapThe Rise of the First LPs
November 30th, 2022, has a special place in every Jedis’ heart. That’s when our mainnet was launched at StarkNet CC India, and integration with Argent-X was announced. Since then, we have steadily been growing in TVL, active users, and trading volume. On April 13th, 2023, we crossed $2.5M in total value locked.JediSwap TVLThere has been consistent growth in trading volume, and users have already traded more than $30M on JediSwap. It has resulted in consistently high APYs to LPs. For pairs lik...
JediSwap is a 100% community-led fully permissionless and composable AMM on Starknet.
Subscribe to JediSwap
Subscribe to JediSwap
>1.6K subscribers
>1.6K subscribers
Share Dialog
Share Dialog
The latest release of Cairo brings new hope to developers to build secure and efficient trustless applications for billions of users. Cairo is a programming language explicitly designed for writing efficient provable programs. It has demonstrated reliability and durability by processing over 300 million transactions worth more than $1 trillion and minting over 90 million NFTs. These statistics emphasize the suitability of Cairo for developers who prioritize security and efficiency while building trustless applications.
With the recent update to Cairo 1.0, Starkware introduced several promising improvements to enable developers to write safer and more expressive code. One notable improvement was the addition of Sierra, a new intermediate representation that ensures every Cairo run can be proven. It makes Cairo particularly well-suited for use in a permissionless network like Starknet, where it can provide robust DoS protection and censorship resistance.
Sierra enables the possibility of collecting fees on failed transactions, which serves as a deterrent to malicious actors attempting to spam the network with failed transactions.
In a panel interview hosted by StarkWare that featured Vitalik Buterin, Eli Ben Sasson (Co-founder & President of StarkWare) highlighted that Cairo smart contracts can be up to 10 times faster than Cairo 0 smart contracts. It showcases the performance boost Cairo has to offer.
People in the JediSwap community frequently ask why anyone should care about Cairo. Isn’t it too difficult to learn a new programming language? What’s the point of this language? Can’t we write everything in Solidity?
We decided to write an article explaining why we need Cairo.
Until now, DeFi has driven the majority of blockchain use cases. But as we desire to bring web3 to everyone, we must build apps covering more use cases like games and social applications. And we need to support privacy for many of these apps. These kinds of applications need client-side ZK proof creation/verification. To achieve that, even after using an EVM-based system, you must use a ZK language like Circom. You can not create ZK circuits in solidity. So you end up writing code in two different languages (Solidity and Circom). And maintaining a project in two different programming languages becomes increasingly complicated. Using Cairo, you can write your application logic, including the proof creation/verification part, in a single codebase.
Until now, to write ZK circuits, you needed to learn a low-level language like Circom. Low-level assembly languages present challenges in terms of readability and writability. They rely on mnemonic codes and low-level constructs that are less familiar to programmers, hindering such languages' learning process and usage.
In contrast, Cairo has taken inspiration from Rust to create a more developer-friendly language that is easier to read and write. Like Rust, it is intended to allow developers to write efficient and safe code quickly. It incorporates well-known programming concepts like variables, loops, and functions, making it simpler for programmers to grasp and effectively utilize.
Additionally, Cairo provides a rich library of built-in functions, eliminating the need for programmers to delve into low-level details when writing complex programs. By leveraging these functions, developers can focus on the higher-level logic of their applications, resulting in increased productivity and reduced development time.
Validity proofs are uniquely positioned to solve scalability for general computation. An off-chain prover can process a large computation (like a batch of multiple turns in a game of poker) and produces an exponentially smaller validity proof, which can be verified on-chain. But, generating STARK proofs for some computations is a relatively complicated process. Developers need to describe their computations in a STARK-specific format. This format is called algebraic intermediate representation, or AIR, for short.
Creating a custom “hand-written” AIR is time-consuming. It is like building a dedicated “ASIC'' for your app. Cairo comes with a single AIR, which is a CPU that can process and prove any Cairo program. It enables a single Verifier smart contract to verify any Cairo application. With this, you only have to write the logic of your app, and you can share the proof with other applications built with Cairo.
Cheaper deployment cost: Because Cairo has a single AIR, we can rely on a single Verifier smart contract. There is no need to deploy a custom Verifier for your custom app. It saves the cost of deploying a verifier smart contract. Cairo’s AIR also leads to efficiency for the off-chain proving service.
Safer application: Since we can rely on a single verifier contract, we only have to audit this single contract. A single set of audits for this contract protects any application from the proof system risk, leaving them to audit only the business logic. Understanding and auditing the business logic is much easier than auditing an application-specific AIR.
Scalability: Since you can share the proof with other applications, and the verification cost is almost constant regardless of the complexity of the computation, it reduces the cost for each application. You can create a single proof for an order book system, a poker game, and an NFT platform and verify it on Ethereum. The verification cost gets divided among the users of all three applications bringing individual tx costs significantly lower.
Applications like DyDx, Sorare, and Immutable have shown the potential of Cairo as a language to build scalable trustless applications. These were just the 1st set of applications built using Cairo. With the ongoing developments of Cairo and Starknet, we will see the development of new exciting applications opening up newer categories. Gaming is the next category ready to be disrupted by Cairo and Starknet. Other than gaming, a few smart teams are working on creating AI, Social media, and payment applications using Cairo.
We can't wait to see what kind of innovation developers create using Cairo, and we’re eager to explore them all. The possibilities seem endless.
Thanks to Henri (Starkware) for helping with the review of this article.
Subscribe to stay tuned for the latest updates and research by JediSwap.
For any immediate questions or requests, feel free to reach out on JediSwap Discord.To delve deeper into these exciting new features, follow the links below.
Under the hood of Cairo 1.0: Exploring Sierra Part 1: An essential layer to produce safe CASM Introduction I recently attended two conference talks at Starkware's Sessions about Sierra: Enforcing ...
With an improved syntax and a fully-fledged type system, Cairo 1.0 is paving the way toward an open-source Starknet stack.
Provable vs. Composable Computation or why Cairo will supersede Solidity Summary. In this post, I will argue that Cairo can effect the coming wave of provable computation in the same way that ...
Cairo is The Rust-inspired language that makes it easy to build scalable dApps & smart contracts with the power of validity proofs.
https://mirror.xyz/msfew.eth/Yl64OK3lLG48eJpVB3GxqFEhmWOm6yMlAo9sc1VrQP4
Visa said self-custodial wallets could use a unique "account abstraction" method to set up automatic recurring payments on StarkNet as existing smart contracts do not currently support such steps.
Cairo 1.0 is officially released, bringing enhanced features and capabilities for developers building on StarkNet.
JediSwap is a 100% community-led, fully permissionless, and composable AMM on Starknet to enable lightning-fast, near-gasless exchange of assets in a trustless manner.
Subscribe to stay tuned for the latest updates and research by JediSwap.
The latest release of Cairo brings new hope to developers to build secure and efficient trustless applications for billions of users. Cairo is a programming language explicitly designed for writing efficient provable programs. It has demonstrated reliability and durability by processing over 300 million transactions worth more than $1 trillion and minting over 90 million NFTs. These statistics emphasize the suitability of Cairo for developers who prioritize security and efficiency while building trustless applications.
With the recent update to Cairo 1.0, Starkware introduced several promising improvements to enable developers to write safer and more expressive code. One notable improvement was the addition of Sierra, a new intermediate representation that ensures every Cairo run can be proven. It makes Cairo particularly well-suited for use in a permissionless network like Starknet, where it can provide robust DoS protection and censorship resistance.
Sierra enables the possibility of collecting fees on failed transactions, which serves as a deterrent to malicious actors attempting to spam the network with failed transactions.
In a panel interview hosted by StarkWare that featured Vitalik Buterin, Eli Ben Sasson (Co-founder & President of StarkWare) highlighted that Cairo smart contracts can be up to 10 times faster than Cairo 0 smart contracts. It showcases the performance boost Cairo has to offer.
People in the JediSwap community frequently ask why anyone should care about Cairo. Isn’t it too difficult to learn a new programming language? What’s the point of this language? Can’t we write everything in Solidity?
We decided to write an article explaining why we need Cairo.
Until now, DeFi has driven the majority of blockchain use cases. But as we desire to bring web3 to everyone, we must build apps covering more use cases like games and social applications. And we need to support privacy for many of these apps. These kinds of applications need client-side ZK proof creation/verification. To achieve that, even after using an EVM-based system, you must use a ZK language like Circom. You can not create ZK circuits in solidity. So you end up writing code in two different languages (Solidity and Circom). And maintaining a project in two different programming languages becomes increasingly complicated. Using Cairo, you can write your application logic, including the proof creation/verification part, in a single codebase.
Until now, to write ZK circuits, you needed to learn a low-level language like Circom. Low-level assembly languages present challenges in terms of readability and writability. They rely on mnemonic codes and low-level constructs that are less familiar to programmers, hindering such languages' learning process and usage.
In contrast, Cairo has taken inspiration from Rust to create a more developer-friendly language that is easier to read and write. Like Rust, it is intended to allow developers to write efficient and safe code quickly. It incorporates well-known programming concepts like variables, loops, and functions, making it simpler for programmers to grasp and effectively utilize.
Additionally, Cairo provides a rich library of built-in functions, eliminating the need for programmers to delve into low-level details when writing complex programs. By leveraging these functions, developers can focus on the higher-level logic of their applications, resulting in increased productivity and reduced development time.
Validity proofs are uniquely positioned to solve scalability for general computation. An off-chain prover can process a large computation (like a batch of multiple turns in a game of poker) and produces an exponentially smaller validity proof, which can be verified on-chain. But, generating STARK proofs for some computations is a relatively complicated process. Developers need to describe their computations in a STARK-specific format. This format is called algebraic intermediate representation, or AIR, for short.
Creating a custom “hand-written” AIR is time-consuming. It is like building a dedicated “ASIC'' for your app. Cairo comes with a single AIR, which is a CPU that can process and prove any Cairo program. It enables a single Verifier smart contract to verify any Cairo application. With this, you only have to write the logic of your app, and you can share the proof with other applications built with Cairo.
Cheaper deployment cost: Because Cairo has a single AIR, we can rely on a single Verifier smart contract. There is no need to deploy a custom Verifier for your custom app. It saves the cost of deploying a verifier smart contract. Cairo’s AIR also leads to efficiency for the off-chain proving service.
Safer application: Since we can rely on a single verifier contract, we only have to audit this single contract. A single set of audits for this contract protects any application from the proof system risk, leaving them to audit only the business logic. Understanding and auditing the business logic is much easier than auditing an application-specific AIR.
Scalability: Since you can share the proof with other applications, and the verification cost is almost constant regardless of the complexity of the computation, it reduces the cost for each application. You can create a single proof for an order book system, a poker game, and an NFT platform and verify it on Ethereum. The verification cost gets divided among the users of all three applications bringing individual tx costs significantly lower.
Applications like DyDx, Sorare, and Immutable have shown the potential of Cairo as a language to build scalable trustless applications. These were just the 1st set of applications built using Cairo. With the ongoing developments of Cairo and Starknet, we will see the development of new exciting applications opening up newer categories. Gaming is the next category ready to be disrupted by Cairo and Starknet. Other than gaming, a few smart teams are working on creating AI, Social media, and payment applications using Cairo.
We can't wait to see what kind of innovation developers create using Cairo, and we’re eager to explore them all. The possibilities seem endless.
Thanks to Henri (Starkware) for helping with the review of this article.
Subscribe to stay tuned for the latest updates and research by JediSwap.
For any immediate questions or requests, feel free to reach out on JediSwap Discord.To delve deeper into these exciting new features, follow the links below.
Under the hood of Cairo 1.0: Exploring Sierra Part 1: An essential layer to produce safe CASM Introduction I recently attended two conference talks at Starkware's Sessions about Sierra: Enforcing ...
With an improved syntax and a fully-fledged type system, Cairo 1.0 is paving the way toward an open-source Starknet stack.
Provable vs. Composable Computation or why Cairo will supersede Solidity Summary. In this post, I will argue that Cairo can effect the coming wave of provable computation in the same way that ...
Cairo is The Rust-inspired language that makes it easy to build scalable dApps & smart contracts with the power of validity proofs.
https://mirror.xyz/msfew.eth/Yl64OK3lLG48eJpVB3GxqFEhmWOm6yMlAo9sc1VrQP4
Visa said self-custodial wallets could use a unique "account abstraction" method to set up automatic recurring payments on StarkNet as existing smart contracts do not currently support such steps.
Cairo 1.0 is officially released, bringing enhanced features and capabilities for developers building on StarkNet.
JediSwap is a 100% community-led, fully permissionless, and composable AMM on Starknet to enable lightning-fast, near-gasless exchange of assets in a trustless manner.
Subscribe to stay tuned for the latest updates and research by JediSwap.
No activity yet