全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

03_Cairo1.0中的标量类型(felt,integer,boolean,float)

felt252felt252是Cairo中基础类型，代表一个存储槽，未指定变量类型的字面量默认类型都是felt252。felt252可以
Cairo  Starknet 
  • 0xSH
  • 发布于 2023-06-27
  • 阅读 ( 2123 )

02_Cairo1.0中的常量

基本用法usedebug::PrintTrait;constONE_HOUR_IN_SECONDS:felt252=360
Starknet 
  • 0xSH
  • 发布于 2023-06-27
  • 阅读 ( 1615 )

01_Cairo1.0中的变量

变量是编程语言中最基本的元素。基本使用创建一个变量usedebug::PrintTrait;fnmain(){l
Starknet 
  • 0xSH
  • 发布于 2023-06-27
  • 阅读 ( 1746 )
  • ( 3 )

00_Cairo1.0程序的入口

单文件Cairo程序入口与大多数编程语言类似，单文件的Cairo程序入口是main函数。
Cairo  Starknet 
  • 0xSH
  • 发布于 2023-06-27
  • 阅读 ( 1749 )
  • ( 3 )

Medjai：保护 Cairo 代码免受漏洞影响

本文详细介绍了Medjai，一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发，深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用，特别是如何帮助开发者发现Bug并验证修复。文章结构清晰，内容丰富，适合对区块链智能合约开发和安全感兴趣的读者。
Cairo  Medjai  符号执行  零知识证明  区块链  智能合约 

首届中文 Cairo Bootcamp 开启报名！

由Starknet官方支持的首届中文CairoBootCamp将于本周末开始🚀本次CairoBootcamp是一个短期、知识密集的培训项目，旨在帮助有编程经验的个人掌握Cairo编程语言，Cairo是一种用于编写可证明程序的编程语言，目前Starknet将Cair
Cairo  Rollup  Starknet 
  • Maxlion
  • 发布于 2023-05-19
  • 阅读 ( 2596 )
  • ( 16 )

开始使用 Cairo 1.0

通过一人了解 关于Cairo 1.0 新特性和改进的所有信息
Cairo  StarkWare  Sierra 

Cairo 1.0 开源啦

Cairo 1.0 开源
开源  Starknet  Cairo 

你好，Cairo ！

Cairo是首个用于生成STARK证明的一般计算的生产级平台，具有图灵完备性和高效性。本文介绍了Cairo的必要性、创新能力和扩展效率，并讨论了其开发工具的未来计划。Cairo可以提供高可扩展性和低Gas成本，非常适合DeversiFi、Immutable和dYdX等项目。
Cairo  STARK  图灵完备  以太坊  区块链  可扩展性