找到约 12 条结果

百科 分治算法

百科 Pippenger 算法

百科 Ate配对算法

百科 交易算法

百科 算法订单

文章 Cairo 中的访问控制

...ll_me` 函数内部调用它。 下面的代码展示它可看起来什么的一个例子: ```rust #[starknet::contract] mod SomeContract { // import the required functions from the starknet core library use starknet::ContractAddress; use starknet::get_caller_address; us...

文章 如何使用 Halmos 编写符号测试

... `2^160 * 2^160 * 2^256`,并且实际上单独运行所有这些输入在计算上是不可行的。作为一种解决方案,符号测试采用符号执行技术,该技术允许在不实际单独运行所有输入的情况下测试所有输入组合。 **提示:** - 除声明符号输...

文章 以太坊万亿美元安全计划 - 第二阶段

...+ 更多 我们受到 L2BEAT 在教育用户和使 L2 的安全性和去心化特性对生态系统透明化方面取得的成功的启发。 我们认为,钱包的最低安全标准可以帮助解决这个问题的两个不同方面。首先,让普通用户够可靠地选择仅符...

招聘 资深后端开发工程师(区块链/币圈交易所方向)

...种安全威胁,保障用户资产安全。 4、新技术研究:跟踪区块链技术和行业发展趋势,研究并引入新技术,提升系统性和安全性。 5、团队协作:与前端开发、产品经理、测试工程师等团队成员紧密合作,确保项目按时高质量...

文章 React Native DApp 开发全栈实战·从 0 到 1 系列(永续合约交易-前端部分)

... "LONG", "status": "OPEN" } # 关于 做多,做空前端可以通过计算获取也可以通不过合约添加一个方法也可以 ``` # 效果图 # 总结 本文把「永续合约+前端交互」最后一环补齐: 1. 环境一键启动——hardhat n...

文章 Go语言并发编程

...。 Go 语言中的通道(channel)是一种特殊的类型。通道一个传送带或者队列,总是遵循先入先出(First In First Out)的规则,保证收发数据的顺序。每一个通道都是一个具体类型的导管,也就是声明channel的时候需要为其指定元...

文章 Cairo 中的构造函数

...lt252` 以外的类型都会在放置在此处之前自动转换。 为证明这一点,让我们引导一个新的 scarb 项目: ```bash scarb new rett ``` 然后,我们向 `lib.cairo` 中生成的合约添加一个构造函数,如下所示: ```rust #[starknet::interface] pub trait...