Stark

SP1：基于Plonky3构建的zkVM

开源代码见：https://github.com/succinctlabs/sp1（Rust）当前暂未实现onchain-verifier，但会采用标准的STARK->SNARKverifier。
mutourend·2024-02-19 13:09

这也许就是家用私有云NAS最好的期待！万字长文为你讲述极空间Z4 Pro的开箱体验，你想知道的都有

万字长文为你讲述极空间Z4Pro的开箱体验，你想知道的都有哈喽小伙伴们好，我是Stark-C~很高兴的告诉大家：我的NAS库中又多了一件得力装备--极空间Z4Pro！
Stark-C·2024-02-11 12:54

NAS如何成为生产力？使用绿联DX4600 Pro搭建图床并实现创作自由

使用绿联DX4600Pro搭建图床并实现创作自由哈喽小伙伴们好，我是Stark-C~关注我的小伙伴都知道，我之前有分享过我的创作过程与工具，其中介绍了我个人其实一直都是使用Markdown的编辑器来进行图文创作的
Stark-C·2024-02-11 12:51

面经|原来如此！这才是修改简历的诀窍

简历很重要是毋庸置疑的，毕竟如果连简历海选都过不了，准备再多面试技巧也是白费，小π今天就请到了我们Stark导师给大家讲讲当自身有“GPA低”、“不是t
Pioneercareer·2024-02-06 01:54

科大同学X军

这次在研究H.M.Stark关于虚二次域类数论文时发现引用但没给出证明的一个丢番图方程时，我
ATINER·2024-02-04 21:05

绿联私有云DX4600升级DX4600 Pro试用体验 | 全方位解读“卷王”NAS的进化史

哈喽小伙伴们好，我是Stark-C~想必很多关注数码圈的朋友都知道绿联这个品牌吧？作为一个深耕数码科技领域数十载的国民大品牌，绿联现在可谓是在数码行业全面开花，并且取得的成就大家也是有目共睹。
Stark-C·2024-02-01 15:40

2022年，将十年前的Apple TV 3越狱将会是怎样的体验

2022年，将十年前的AppleTV3越狱将会是怎样的体验哈喽，大家好，我是Stark-C，今天折腾一下十年前的AppleTV3。AppleTV3展示开始之前，我们先来简单了解下这款电视盒子。
Stark-C·2024-02-01 15:10

旧电脑再次起飞 分享一次联想Thinkpad X230黑苹果的完整过程

分享一次联想ThinkpadX230黑苹果的完整过程大家好，我是Stark-C。今天再来一篇旧电脑折腾系列的文章，个人认为，这篇应该是旧电脑最实用的折腾方案了。
Stark-C·2024-02-01 15:09

超常发挥，稳如磐石 | 追风者ATX3.0金牌全模组电源评测【附拆解】

我是Stark-C~简单叨两句电脑DIY，什么最重要？不是CPU，也不是显卡，而是电源！
Stark-C·2024-02-01 15:39

使用绿联私有云Docker搭建自动化实时网页监控工具，实现降价提醒/RSS监控等

使用绿联私有云Docker搭建自动化实时网页监控工具，实现降价提醒/RSS监控等哈喽小伙伴们好，我是Stark-C~之前老是有小伙伴们在评论区说我分享的Docker容器都是通过Dockerrun命令部署的
Stark-C·2024-02-01 15:07

Bitcoin+STARK: ZeroSync & Khepri

1.引言当前，以下项目借助STARK，为Bitcoin引入类似Mina的功能：https://github.com/lucidLuckylee/zerosync：PureCairobased（Cairo
mutourend·2024-01-29 13:42

Zerosync：构建基于STARK的Bitcoin证明系统

1.引言前序博客：Bitcoin+STARK:ZeroSync&KhepriRobinLinus、TinoSteffens、LukasGeorge等人成立了一个名为ZeroSync协会（ZeroSyncAssociation
mutourend·2024-01-29 13:10

Polygon zkEVM PIL-STARK Spearbit审计报告解读（2023年6月版）

1.引言前序博客有：PolygonzkEVMHexens审计报告解读PolygonzkEVMSpearbit审计报告解读（2022年12月版本）PolygonzkEVMSpearbit审计报告解读（2023年1月版本）PolygonzkEVMSpearbit审计报告解读（2023年3月版本）PolygonzkEVMROMSpearbit审计报告解读（2023年6月DragonFruit升级版本）P
mutourend·2024-01-18 12:25

漫威宇宙之漫谈

Stark那句：IamIronMan，完成专属漫威宇宙的闭环，是一场英雄们的完美谢幕，也是对漫威影迷的深情告别。
JYlove·2024-01-18 07:01

Polygon zkEVM PIL-STARK Spearbit审计报告解读（2023年3月版）

1.引言前序博客有：PolygonzkEVMHexens审计报告解读PolygonzkEVMSpearbit审计报告解读（2022年12月版本）PolygonzkEVMSpearbit审计报告解读（2023年1月版本）PolygonzkEVMSpearbit审计报告解读（2023年3月版本）PolygonzkEVMROMSpearbit审计报告解读（2023年6月DragonFruit升级版本）P
mutourend·2024-01-10 21:17

RISC Zero STARK证明系统时序图及规范

1.引言前序博客：RISCZerozkVM白皮书RISCZero的手撕STARKRISCZero证明系统核心是基于STARK的，实现的是DEEP-ALI和FRI。
mutourend·2024-01-10 21:46

RISC Zerod cargo-risczero相关模块代码解析

1.引言前序博客有：RISCZerozk-STARK证明系统代码解析RISCZero各功能模块代码解析cargo-risczero模块开源代码见：https://github.com/risc0/risc0
mutourend·2024-01-10 21:43

docker 部署haproxy cpu占用特别高

1.解决前现状1.1部署配置文件cat>haproxy.cfgdokcer-stark-haproxy.ymlhaproxy.cfgdokcer-stark-haproxy.yml<
liuhm~·2024-01-08 12:08

RISC Zero zk-STARK证明系统代码解析

1.引言前序博客：RISCZero的手撕STARKRISCZeroSTARK证明系统时序图及规范开源代码见：https://github.com/risc0/risc0/blob/main/risc0/zkp（Rust）当前支持的feature有：FeatureTarget(s)ImpliesDescriptioncudaprove,stdTurnsonCUDAGPUaccelerationfor
mutourend·2024-01-01 12:51

RISC Zero的手撕STARK

1.引言RISCZero虚拟机内的任意代码在执行时，该执行的每个step都记录在ExecutionTrace中。以2个用户指定的输入，Fibonaccisequence模97的4步计算为例。本文将介绍：介绍RISCZeroExecutionTrace的各列。展示了如何在不泄露任何knowledge的情况下，RISCZero证明某ExecutionTrace的有效性，的具体例子。本文所举例子中，其E
mutourend·2023-12-18 03:03

Web3之L2 ZK-Rollup 方案-StarkNet

StarkWare开发了一个完整的解决方案，使用stark技术，通过zk-
西京刀客·2023-12-04 11:46

如何使用 NFTScan NFT API 在 Starknet 网络上开发 Web3 应用

Starknet作为以太坊上的ZKRollup运行，帮助dApp使用STARK证明以更低的交易成本实现更大的计算规模。该网络允许智能合约与区块链上部署的其他合约进行交互，从而提高协议之间的可组合性。
NFT_Research·2023-12-02 19:34

stark组件前戏（3）之django路由分发的本质include

django路由分发的三种方式方式一：fromdjango.urlsimportre_path,includeurlpatterns=[re_path(r'^web/',include('app01:urls')),]include的返回值:return(urlconf_module,app_name,namespace)方式二：#include函数主要返回有三个元素的一个元组。#app01/ur
weixin_34150224·2023-11-30 16:06

Django-importlib模块使用

(self):returnself.nameinviews.pyimportimportlibdeffunc():'''importlib模块以字符串的形式导入模块'''DB_PATH='app01.stark.DownFile'module
lmw-xiaoxin·2023-11-24 20:21

毕业第180天分享

答：按颜色看，应该是光合作用；（4）蝙蝠侠的Wayne集团和钢铁侠的Stark工业相比哪个
河南师范大学文学院王程颢·2023-11-22 23:13

追求卓越之－－arm MMU详解

追求卓越之－－armMMU详解2016年07月21日11:13:48Harry_Stark阅读数：1092一、MMU的产生许多年以前，当人们还在使用DOS或是更古老的操作系统的时候，计算机的内存还非常小
weixin_41632560·2023-11-22 17:45

Polygon Miden VM中的哈希函数对比

1.引言在PolygonMidenVM中，使用了多个不同的哈希函数：1）“传统”哈希函数，如BLAKE3：对STARK之外的性能进行了优化。
mutourend·2023-11-20 12:04

eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（1）

1.引言eSTARK：即extendedSTARK，为PolygonzkEVM团队在STARK协议的基础之上做了扩展——扩大了所支持的约束类型。
mutourend·2023-11-20 10:48

Polygon zkEVM递归证明技术文档（5）——附录：借助SNARKjs和PIL-STARK实现proof composition

架构设计PolygonzkEVM递归证明技术文档（3）——代码编译及运行PolygonzkEVM递归证明技术文档（4）——C12PILDescription本文重点关注：附录：借助SNARKjs和PIL-STARK
mutourend·2023-11-20 10:48

Polygon zkEVM递归证明技术文档（1）

然后，使用PIL规范来表示待证明executiontrace，来构建用FRI协议证明的STARK。问题是STARK会产生bigproofs。本文描述了如何将递归与组合一起使用以缩短证明大小。
mutourend·2023-11-20 10:48

Polygon zkEVM Merkle tree的circom约束

PolygonzkEVM中的MerkletreePolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez/pil-stark
mutourend·2023-11-20 10:16

Polygon zkEVM交易解析

zkProverjs根据executiontrace，生成STARK证明
mutourend·2023-11-20 10:16

Polygon zkEVM中的Merkle tree

1.引言前序博客有：Merkletree及其在区块链等领域的应用以https://github.com/0xPolygonHermez/pil-stark为例，PolygonzkEVM中实现了2种Merkletree
mutourend·2023-11-20 10:46

Polygon zkEVM FFT和多项式evaluate计算的circom约束

1.引言前序博客：PolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main
mutourend·2023-11-20 10:46

Polygon zkEVM中Goldilocks域元素circom约束

PolygonzkEVM中Goldilock域元素circom约束，代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main/circuits.gl2
mutourend·2023-11-20 10:16

Polygon zkEVM的pil-stark Fibonacci状态机初体验

1.引言前序博客：PolygonzkEVM基本概念第5章“一个例子——Fibonaccistatemachine”实操主要见：2022年8月8日JordiBaylina（Iden3合伙人，PolygonHermezzkEVM技术负责人）在Zcon3分享ToolingforbuildingzkEVM:PILandCircom-JordiBaylinaatZcon3第24分钟。相关代码见：pil-st
mutourend·2023-11-20 10:42

Polygon zkEVM的pil-stark Fibonacci状态机代码解析

pil-starkFibonacci状态机初体验STARKsandSTARKVM:ProofsofComputationalIntegrity开源代码见：https://github.com/0xPolygonHermez/pil-stark
mutourend·2023-11-20 10:11

RISC Zero zkVM架构

1.引言RISCZerozkVM为：基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统，的微架构和编码机制。
mutourend·2023-11-12 09:24

RISC Zero zkVM 白皮书

RISCZero的证明系统采用zk-STARK，基于以下关键要素：FRI协议DEEP-ALI基于HMAC-SHA
mutourend·2023-11-12 09:53

【ElasticSearch】学习笔记

ElasticSearch是一个分布式、Restful风格的搜索和数据分析引擎，Stark的核心。可以应用在比如全文搜索、购物推荐、附近等位推荐等等。
孫治AllenSun·2023-11-09 07:26

【SPIDER MAN：银幕十六年，永远十六岁】

从2002年《蜘蛛侠》上映到如今2018年的《复仇者联盟3》，小蜘蛛在银幕上出现了整整16年，却如形同他父亲一样的钢铁侠Mr.Stark说过的一句话般：“在我看来，你永远只是个长不大的16岁男孩儿。”
HackingTan·2023-11-03 14:08

从上手到进阶，威联通NAS非官方使用指南【安全设置/AList部署/影视库搭建/虚拟机实操】

从上手到进阶，威联通NAS非官方使用指南【安全设置/AList部署/影视库搭建/虚拟机实操】哈喽小伙伴们好，我是Stark-C。
Stark-C·2023-11-03 09:31

A summary on the FRI low degree test前2页导读

1.引言PolygonLabsUlrichHab¨ock2022年论文《AsummaryontheFRIlowdegreetest》，其所参考的关键论文有：STARK论文：EliBen-Sasson等人
mutourend·2023-11-01 13:38

Starknet开发工具

1.引言目前Starknet的开发工具流可为：1）Starkli：音为Stark-lie，为替换官方starknet-CLI的快速命令行接口。
mutourend·2023-10-30 01:00

"Well,do you want to know my secret?"

当天收获了一堆有趣并且很酷的礼物以及无数真挚祝福的小蜘蛛，最近愈发想起那天夜里，自己喝了很多酒，粘在最爱的Mr.Stark身上
piedo·2023-10-24 17:27

深入探索STARK的安全性和可靠性——STARKs全面安全分析

1.引言non-interactiveSTARKs，起源于InteractiveOracleProofs(IOPs)，然后通过randomoracle模式转换为非交互式。StarkWare团队ethSTARKDocumentation–Version1.2（2023年7月）论文做了更新，给出了完整具体的randomoracle模式下的ethSTARK安全性分析。本文对该论文的更新做了解释。2.ST
mutourend·2023-10-20 23:34

eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（3）

前序博客有：eSTARK：PolygonzkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（1）eSTARK：PolygonzkEVM的扩展STARK
mutourend·2023-10-20 23:33

eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（2）

前序博客有：eSTARK：PolygonzkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（1）2.5Arguments本节引入“arguments
mutourend·2023-10-20 23:31

ubuntu 搭建伪分布式hadoop

url：http://blog.csdn.net/stark_summer/article/details/43484545请注意：该博客前面提到的修改主机名其实不必修改，但里面用到主机名的地方自己要注意替换成自己的主机名
书生杨阳·2023-10-19 01:18

前SEC律师预测：3个原因将致SBF被判有罪

尽管他很快将出庭受审，但Stark表示，SBF被无罪释放的机会很低。"在金融欺诈起诉历史上，美国司法部团队极少能在不受太多限制的情况下获得如此
陀螺财经·2023-10-08 08:41
上一页 1 2 3 4 5 6 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他