Cairo语言是一种用于生成零知识证明的图灵完备的高级语言，由StarkWare公司开发。Cairo语言可以支持任何类型的计算，包括算术运算...

Vyper是一个合约导向的Python 系程序语言，为了以太坊虚拟机(EVM) 而生。以太坊创办人Vitalik 推文赞赏Vyper 默默地...

Cairo 是STARK 证明系统的其中一个编程语言，让开发者能透过Cairo 来使用STARK，撰写效能更高的Dapp背景介绍建构于密码学...

Solidity语言是一种专门用于编写智能合约的高级编程语言，它可以让用户在不同的区块链平台上，如最著名的以太坊，实现自动执行和验证交易或操...