AstenReview of the Rust book: Understand OwnershipOwnership enables Rust memory safety guarantees without need a garbage collector.Oct 11, 2023Oct 11, 2023
AstenScarb: Simplifying Cairo1 Package ManagementScarb is a powerful package manager designed specifically for Cairo1, the programming language used for developing StarkNet contracts. It…May 24, 2023May 24, 2023
AstenSetting Up Protostar (0.11.0) and Cairo1 (1.0.0rc0)Supporting Cairo Compiler 1.0.0rc0May 22, 2023May 22, 2023
AstenSetting Up Protostar and Cairo1In this guide, we will walk you through the process of setting up Protostar and Cairo1. This includes installation, verification…May 16, 2023May 16, 2023
AstenExploring Cairo 1.0 IndexerExploring Cairo 1.0: A Rust-like High-level Language for Provable ProgramsApr 13, 2023Apr 13, 2023
Asten探索Cairo 1.0:用于可证明程序的 Rust 风格高级语言(6)Cairo 1.0 是一种高级语言,旨在为通用计算创建可证明程序。它的语法类似于 Rust,这使得它成为熟悉 Rust 的程序员的良好选择。在本文中,我们将探讨 Cairo 1.0 中的一些关键概念,包括变量的可变性、所有权、借用和引用。Apr 13, 2023Apr 13, 2023
AsteninDev GeniusExploring Cairo 1.0: A Rust-like High-level Language for Provable Programs(6)Cairo 1.0 is a high-level language designed for creating provable programs for general computing. It has a syntax that is similar to Rust…Apr 13, 20231Apr 13, 20231
Asten探索Cairo 1.0:用于可证明程序的 Rust 风格高级语言(5)在本文中,我们将探讨Cairo 1.0语言中Traits和Structs的概念,这是一种设计用于创建可证明的通用计算程序的高级语言。我们将深入了解Cairo 1.0中Traits和Structs的工作原理,以及它们如何用于编写强大且易于维护的代码。Apr 7, 2023Apr 7, 2023
AsteninDev GeniusExploring Cairo 1.0: A Rust-like High-level Language for Provable Programs(5)In this article, we will explore the concept of Traits and Structs in the context of Cairo 1.0 language, a high-level language designed for…Apr 7, 2023Apr 7, 2023