本文介绍了Circom中定义Rank 1约束系统(R1CS)的基本语法，包括模板参数的使用、循环和变量的声明与应用、以及如何在满足特定条件时生成约束。此外，还强调了在Circom中约束必须是静态的，不能依赖于信号动态改变，但变量可以作为常量参与R1CS运算，并解释了if语句在Circom中的使用限制，着重介绍了 variables 的使用方法，以及 signals 的使用限制。
if
本文介绍了Solidity中的变量（包括状态变量、局部变量和全局变量）、数据类型（如uint、bool、address、string等）以及函数的概念和常用修饰符（public、private、view、pure等）。并通过一个简单的MyProfile合约示例，演示了如何存储和更新名称，以及如何返回当前名称。文章还提供了一个小挑战，鼓励读者创建一个新的智能合约。
在Solidity（以太坊智能合约编程语言）中，常量（constant）、状态变量（statevariable）和不可改变量（immutable）是三种不同的变量类型，它们在定义、存储、使用和修改方面有显著区别。
RareSkills
CoinsBench
Louis