今天,ZeroSync(一个为使用零知识证明拓展比特币而成立的协会)的开发者 Robin Linus 提出了 “BitVM”,为将来的比特币应用开发打开了非常有趣的可能性。它可以启用几乎所有的任意计算,并使用这些计算来执行在比特币链上发生的事情。
以太坊上的借贷应用架构演变: 比较 MakerDAO、Yield、Aave、Compound 和 Euler。你会发现不同的阶段有不同的优先级,一些关键创新也影响着后来的借贷应用
当前以太坊网络双层质押(节点运营商和代理商),存在着中心化风险和不必要的共识层负担。本文介绍了解决这些问题的可能方案。
BitVM 是一种计算范式,用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同,它们仅仅是被验证,类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制,任何可计算的函数都可以在比特币上进行验证。
Wasm 允许开发人员用Rust、Go、C和c++等语言编写高性能代码。它已被用于各种行业。在web3世界中,Wasm已被Cosmos、NEAR和Polkadot等区块链项目采用。然而,由于建立可持续信任网络的挑战,Wasm的广泛采用受到限制。以太坊考虑采用Wasm,但决定坚持使用EVM执行。
OpenZeppelin Contracts 5.0 版本:更好的 Gas 效率,更优的代码结构。
每周以太坊进展 2023/10/7
zk 技术堆栈有哪些技术可用,介绍每个层级的示例工具/技术
Pessimism,一个开源的监控系统,旨在通过快速检测和响应各种对协议的威胁,增强 Base(以及更广泛的 OP Stack 和以太坊生态系统)的安全性。
比特币即将迎来 Zero-knowledge rollups
每周以太坊进展 2023/9/23
Sequencer 在 Layer 2 (L2) 解决方案中起到核心作用,主要负责交易汇总,L1 数据派生,L2 区块生成,L1 batch 数据提交,以及 L1 中 L2 state root 的提议。在本文中,我们将深入探讨 Sequencer 的工作原理和相关代码实现。
本手册涵盖了合约部署、跨合约调用、设计模式、Calldata优化、汇编技巧、编译器等等各个方面的优化技巧!不管你是新手还是老手,这本手册都能给你带来惊喜和启发!
Web3 是新一代价值互联网,是去中心化应用程序(dApps)的网络。 dApp 让数据所有权回归个人,同时带来应用间的可组合性。
Web3 的架构与交互均与 Web2 有较大不同,Web3 应用通常基于区块链,去中心化存储。
合约里的数值通常非常大, 肉眼阅读非常费劲,solpretty 可以让对数字进行漂亮的格式化。
本系列中,我们将分享两项崭新的工作:Lasso 和 Jolt,它们可以显著加速 web3 中应用的扩展和构造。它们共同代表了一种本质上全新的 SNARK 设计方法,可将已广泛部署的工具链的性能提升一个数量级或更多;提供更好、更方便的开发者体验;并使得审计变得更加容易。
作者:阿剑本文尝试为比特币上的一种资产发行协议RGB提供一份简洁的描述(也可以将它理解成一种链外智能合约系统),并指出其迥异于其它旨在实现相同或相似功能的协议的地方,这些区别使得RGB协议的可扩展性远远超过它们,并且留下了更广大的编程空间。
Dune SQL 和以太坊数据分析进阶指南
本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs,以及如何使用 ZoKrates 编译器来生成证明和验证合约。
solidity太卷了,最近在研究cairo,可是cairo升级太快了,一直苦于没有资料,于是乎苦苦哀求Starknet中文大使和鸦老师,他们在百忙之中整理了一些资料。现在发出来,希望大家共勉,一起builder
扫一扫 - 使用登链小程序
106 篇文章,294 学分
3 篇文章,269 学分
55 篇文章,237 学分
13 篇文章,206 学分
16 篇文章,163 学分