找到约 14 条结果

文章 OpenBuild 开发者内容输出激励及个人品牌计划

...ect、跨链桥、Remix、Snapshot、 **Starknet 生态：** Cairo 编程、全链游戏、Volition、Sequencer、原生 AA、StarkEx  **Solana 生态：** Rust 编程、Solana 合约开发、SPL 、 账户模型、 **密码学与零知识证明：** 椭...

文章 艾萨克发生了什么？

... 2. 大型耦合系统。对核心机制的每次更改都必须经过 Cairo 代码库的更改、Cairo 代码库的测试、后端中的更新以将来自 StarkNet 的新信息传递到前端，以及前端中的更新以反映新机制。这使得迭代缓慢而痛苦。 没有迭代，Isaac...

文章 2024-09-08 zk-insights Weekly

...i shinigami is a Bitcoin Script library for generic Script VM execution in Cairo, enabling the generation of STARK proofs for Bitcoin Script computation and Bitcoin transaction execution. - - ### Ente Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos - ### No...

文章 ROP-4：在PEPC框架中“重写”原生IP-PBS

...T：无需更改共识协议的 PEPC \\ 感谢 Barnabé Monnot、Xyn Sun、Cairo、Mike Neuder、William X、Pranav Garimidi 以及其他许多人为这个想法的整个开发过程提供了富有洞察力的讨论。 tl;dr：我引入了一种新颖的机制，用于在以太坊中强制执行提...

文章 解读Starknet智能合约模型与原生AA：特立独行的技术巨匠

... 顾问：CryptoNerdCn，Starknet生态核心开发者，浏览器端Cairo开发平台WASM Cairo创始人  **摘要：** ·Starknet最主要的几大技术特性，包括利于ZK证明生成的Cairo...

文章 每周以太坊进展 2021/06/19

...a-on-ropsten-e7494929cb95)：登陆 Ropsten 测试网，智能合约使用 Cairo 重写 * [雷电网络轻客户端](https://raiden-network.medium.com/announcing-the-raiden-light-client-ashvini-release-60d2a66b0d4)：Typescript 实现，运行在一个可启用以太坊节点的浏览器里 ## ...

文章 隐藏费用的终结？区块链对改变你的支付方式的尝试

...### 如果你需要帮助合作： - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、不变性测试 + 形式化验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zealy...

文章 比特币 ZK Rollups 你想了解的都在这

...ra 技术堆栈连接到比特币上，以运行基于 StarkWare 创建的 Cairo 编程语言的 Rollup，从而实现了技术叠加的效果。 ## **什么是 ZK Rollup？** Rollups 将非标准比特币交易的交易，例如某些侧链的交易，批量打包在...

文章 Starknet开发指南：如何使用Cairo实现和测试存储合约

# Starknet开发指南：如何使用Cairo实现和测试存储合约 在这篇文章中，我们将带领读者逐步完成在Starknet上开发一个简单存储合约的过程。通过使用Cairo语言进行编写，您将学习如何在区块链上存储和读取数据，掌握Starknet合约...

文章 以太七日谈 • 2022/4/6

...ttps://blog.connext.network/optimistic-bridges-fb800dc7b0e0) **StarkNet/Cairo 开发教程资源库** StarkNet 的开发宣传大使 [@HenriLieutaud](https://twitter.com/HenriLieutaud) 和 [@DrSpacemn](https://twitter.com/DrSpacemn) 发布了一个 GitHub 开发教程资源库，包含的内...

文章 Kakarot zkEVM：深入分析

... 折衷的结果是，Starknet 上的开发人员必须学习一种名为 Cairo 的全新编程语言，这种语言针对 ZK 证明进行了优化。这给习惯于使用 EVM 的开发人员带来障碍： - 他们可能没有时间或动力去学习一门新语言。 - 项目可能不具备...

文章 以太七日谈 • 2022/1/26

...ling-the-staking-problem/) ## Layer2 **Nethermind 推出 Solidity -> Cairo 转译器 Warp 的首个版本** StarkWare 团队推出的 [StarkNet](https://starkware.co/starknet/) 是以太坊上的一个无需许可的、去中心化的 ZK-Rollup，StarkNet Alpha 于 2021 年 11 月 29 日上...

文章 每周以太坊进展2022/1/22

...//medium.com/nethermind-eth/helm-warp-one-engage-8526233780c4) (Solidity - Cairo 转换器): 第一个主线版本，用 Solidity 编写测试。 * StarkNet Prover 代码 [许可讨论](https://community.starknet.io/t/starknet-prover-code-license/371) ## 开发者资料 * [Forge](https://w.mi...

文章 零知识证明编码入门

...而其他语言则需要[手动完成](https://github.com/starkware-libs/cairo-lang/blob/de741b92657f245a50caab99cfaef093152fd8be/src/starkware/cairo/common/uint256.cairo)。 ## ZKP 为什么有那么多关注？ ZKP 最近引起了很多关注。主要原因是它们可以用作**廉价验证...