Kevin 是我所认识的对智能合约最了解的人!他乐于公开与所有人分享他的知识,并战略性地在 Web3 领域建立自己的思想领导力。我有幸成为他播客的嘉宾,非常喜欢他采访人的方式以及他为他人创造价值的态度!如果我有任何区块链项目要落地,Kevin 是我合作的第一选择。🚀
什么是零知识? 一种密码学技术,让你能证明自己知道某样东西(密码、身份、一笔交易),同时不泄露底层信息。隐私,零妥协。
// 01我们构建什么
ZK 应用集成
用户数据无需暴露即可验证的应用:身份、凭证、财务数据。
隐私保护协议
参与者无需暴露敏感状态就能交互的链上和链下协议。
隐私架构咨询
不是每个项目都需要 ZK 证明。我们帮你判断什么时候它才是对的工具,并据此设计。
你能拿到什么
数据始终私密
超越 GDPR 合规
可用,不只是安全
数据由用户掌控
无需暴露即可验证
缩小法律责任面
与专家交谈
我们如何开发软件
我们如何开发软件
五个阶段。固定价格。无锁定。
Phase 02
第一次迭代
- 构建你真正的 MAP(最小惊艳产品)
- 讲求成本效益。把需求精简到最高 1.5–2 万欧
- 以尽可能低的成本,直接在市场上用真实客户测试
- 探索阶段费用作为折扣抵扣
Phase 03
后续迭代
- 基于真实客户/用户需求构建和扩展产品
- 理想情况下由真实销售部分资助
- 数据驱动的开发决策(观察用户行为而非用户需求)
- 持续改进循环
Phase 04
维护
- 安全补丁(没人喜欢数据泄露或损失金钱)
- 修复Bug(这可能是客户流失的主要原因)
- 技术支持(大多数公司的客户支持质量令人沮丧)
- 性能、成本和CI/CD优化
Phase 05
进一步开发/交接
你的产品,你的团队。
我们永远不会把你锁定。
- 我们永远不会让你依赖我们的团队
- 顺畅过渡到你的内部团队
- 知识转移与文档
- 按需持续支持
- 需求工程
- 软件架构
- 里程碑计划
- 技术流程和序列图
- 上线计划和里程碑计划
- 构建你真正的 MAP(最小惊艳产品)
- 讲求成本效益。把需求精简到最高 1.5–2 万欧
- 以尽可能低的成本,直接在市场上用真实客户测试
- 探索阶段费用作为折扣抵扣
- 基于真实客户/用户需求构建和扩展产品
- 理想情况下由真实销售部分资助
- 数据驱动的开发决策(观察用户行为而非用户需求)
- 持续改进循环
- 安全补丁(没人喜欢数据泄露或损失金钱)
- 修复Bug(这可能是客户流失的主要原因)
- 技术支持(大多数公司的客户支持质量令人沮丧)
- 性能、成本和CI/CD优化
你的产品,你的团队。
我们永远不会把你锁定。
- 我们永远不会让你依赖我们的团队
- 顺畅过渡到你的内部团队
- 知识转移与文档
- 按需持续支持
// 实证


用案例说话,而不是承诺
6条链
网络支持
与 Boba 团队一起构建其官方 LightBridge:6 条链近即时转账,在生产环境中保障 100 万美元+ 资产。
Typescript
Python
GraphQL
3个SDK
后端·合约·前端
三层混合计算 SDK 套件(后端、合约、前端),与 Boba 团队一起在未记录的基础设施上构建,仍在生产中。
Typescript
Solidity
Hardhat
MetaMask
原生集成
带混合计算的智能钱包,藏在用户已信任的钱包里,与 Boba 团队一起对着 MetaMask 的 Snap 沙盒构建。
Typescript
MetaMask Snaps
Solidity
这些是精选项目,并非我们的全部作品。自 2018 年以来我们已交付 75+ 款产品。
客户怎么说
LinkedIn
Trustpilot
智能合约开发的专家。
Google
区块链开发的首选机构。 极其经验丰富、高度专业的团队。与他们合作非常愉快。
独立平台评分:4.5/5(Trustpilot) 查看评价
常见问题
ZK 何时适用,何时不适用
通过一条消息即可结束任何一周。无通知期、无离场访谈、无附加条款。我们按周开票,你最多承诺当前一周。
合同里就是这么写的:告诉我们,我们会退还那一周的费用。无需问询、无需争议账单、无需升级电话。唯一规则:退款适用于最近一周。
因为工时是错误的衡量标准。如果我们以计费工时为优化目标,就不是在为你的成果优化。我们的协议更简单:每一周,我们都赢得下一周。如果做不到,你不付款。我们可以投入零小时或六十小时。重要的是你是否被惊艳。
我们和操盘手合作,不和买彩票的人合作。如果某个要求需要打破物理定律、法律或第三方系统,我们会明说,谈不拢就走人。这个保证是双向的:你可以任何一周解雇我们,我们也可以解雇自己。
当隐私保证或链下计算的可验证性确实是产品的关键支撑时。投票系统、私有身份、可扩展 Rollup 以及某些合规流程是清晰的应用场景。对大多数「加一点 ZK 上去」的提议,诚实答案是:「带鉴权的数据库就够了,而且便宜 100 倍。」我们会直说。
证明基础设施的容量我们在架构阶段就定,不是上线后才补。链下证明 + 链上验证(标准模式)在设计良好的电路上通常在毫秒到秒级运行。我们在真实硬件上跑基准之后再下承诺,也会告诉你什么时候证明成本会让用例不经济。
通常可以。ZK 不需要覆盖整个应用,它可以只是一个验证器合约,或在常规栈里嵌入一条证明生成流。我们把 ZK 身份验证、隐私余额检查、成员证明集成进过看起来很普通的 Web 应用。难点通常是 UX,不是密码学。
Groth16 用于小型、固定的电路,验证 gas 最低(适合以太坊主网)。PLONK 或 Halo2 用于通用电路,想要通用可信设置或免可信设置时用。STARKs(Cairo、RISC Zero、Boojum)需要抗量子安全或透明设置时用。电路开发用 Noir 或 Circom,看团队熟悉度。我们按目标链上哪个验证最便宜、你的开发者能审计哪个来选,不按 Twitter 上谁声量大来选。
给已有 dApp 加一个隐私流程(一个电路 + 验证合约):25,000-50,000 欧元。独立的 ZK 身份或会员产品:50,000-120,000 欧元。ZK rollup 或应用专属链:200,000 欧元起,6-12 个月,审计是不可忽略的一部分。ZK 电路的审计费比纯 Solidity 高(非平凡电路是 30,000-80,000 欧元),因为攻击面是数学的,不只是代码。我们把审计预算和建设预算一起报,避免你后期被惊到。
// 更多