BTC PULSE
No Result
View All Result
Play Now
No Result
View All Result
BTC PULSE
No Result
View All Result
Play Now
Home Blockchain

Cairo by StarkEx Manages $418 Million of DeFi Funds

by Chiwuike Owunwa
Dec 27, 2022 - 12:00 am
in Blockchain
Cairo by StarkEx Manages $418 Million of DeFi Funds

On the 26th of December 2022, DefiLlama tweeted that the Cairo programing language is now the third most prominent smart contract language, with a total locked volume of above $400 million.

Cairo is now the third largest smart contract language by TVLhttps://t.co/ciLWGqkxPc pic.twitter.com/xgeFaI3Rlk

— DefiLlama.com (@DefiLlama) December 26, 2022

DefiLlama is an analysis platform where users may examine analytical data from several blockchain networks. It is the largest Total Volume Locked aggregator in the Defi market, collecting data from over 100 decentralized networks and apps.

The DefiLlama platform released a chart showing the distribution of TVL by smart contracts. And as of Dec 2022, the chart showed Solidity as the highest, followed by Vyper and Cairo.

Cairo is a computer language designed for developing proven programs for generic computations. Cairo, like C++, Java, and Rust, enables general-purpose computation like other programming languages. However, it has another unique feature. Cairo may generate proof for the calculation executed as part of its computation.

The University certificates issued to graduates can be used to understand the notion of proof. It is a proof mechanism that allows alumni to prove that they have completed their allotted program. The certificate’s integrity may be checked on the university’s website. As a result, it acts as a proof of claim.

Computational proofs serve a similar purpose as the university degree in Web3. Computation-proof systems aid in generating cryptographic evidence that a third party can validate. A successful programmatic verification of the evidence proves that the presented output actually resulted from a valid computation.

This contributes to the establishment of confidence between the two parties, the prover (the person who conducted the calculation and its computational evidence) and the validator (the one who performs the programmatic validation of the proof).

What are the implications of this?

This implies that smart contracts, along with their proof, may be created on the layer 2 system and confirmed on layer 1 using an EVM. This would show if the Cairo program output was calculated appropriately. This also improves scalability since the running time for producing evidence is roughly linear. However, the cost of verification is poly-logarithmic because the algorithm’s memory increases more slowly than other exponents. As a result, the cost of on-chain computing does not vary much with computation size. 

Simply put, calculations occur on layer 2 rather than layer 1, and the full node on layer 1 uses fewer compute resources to validate the proofs created. Thus, there is no re-execution of calculation throughout the verification process. This makes Cairo attractive to developers.

Chiwuike Owunwa

Chiwuike Owunwa

Chiwuike is a frontend programmer and writer with 3 years experience in the Web3. He's meticulous researcher, enthusiastic about Blockchain and the future of crypto, DeFi, and the Metaverse.

Related Posts

Exterior view of the Czech National Bank building in Prague, symbolizing the institution’s financial strategies and innovation.

Bank of England Governor Says Stablecoins Could Reduce Reliance on Banks

October 1, 2025

Andrew Bailey says stablecoins could reduce UK reliance on commercial banks by separating money from credit, signaling a...

blockchain

Spacecoin Executes First Blockchain Transaction Through Space

October 1, 2025

Spacecoin has achieved the first-ever blockchain transaction through space using a nanosatellite, marking a milestone for decentralization and...

The headquarters of the Autorité des Marchés Financiers (AMF) Investor in Paris, France, the regulatory body warning investors against ByBit.

French Officials Pressured Telegram to Censor Moldova Election Posts: Durov

September 28, 2025

Pavel Durov revealed French intelligence pressured Telegram to censor Moldova election content in 2024, which he refused, citing...

Wall Street financial district with Bitcoin symbol representing institutional adoption

Bitcoin skepticism fades as nations gear up for adoption, says Samson Mow

September 28, 2025

Samson Mow predicts nation-states will move from skepticism to rapid Bitcoin adoption, fueling global FOMO and a rush...

View All
BTC-Pulse LogoTransparent

© 2024 BTC-PULSE. Disclaimer: The content is for informational purposes only, you should not construe any such information or other material as legal, tax, investment, financial, or other advice.

Info

  • Learn
  • Price Prediction
  • Events
  • Press Releases
  • Sitemap

Company

  • About Us
  • Terms of Service
  • Privacy Policy
  • Contact Us
  • Advertise

News

  • Altcoins
  • Bitcoin
  • Ethereum
  • NFT
  • Regulation
  • WEB 3.0

©2024 BTC-PULSE – All right Reserved.

No Result
View All Result
  • About Us
  • Advertise
  • BTC-PULSE
  • Contact Us
  • Events
  • Privacy Policy
  • Sitemap
  • Terms of Service