stark 第2页

SGX：multi-prover的潜在解决方案

multi-prover的实现：可采用不同的证明类型（如validityproofs和fraudproofs）可采用不同的证明系统（如SNARK和STARK）可为由不同的团队做的不同代码实

mutourend·2023-10-07 03:04

zk、zkVM、zkEVM及其未来

zk-SNARK和zk-STARK各具优势，二者结合潜力无穷。zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。

mutourend·2023-09-29 00:55

友谊的种子悄悄萌芽【5. Jon】

故事梗概晚宴开始，照例国王一家人和Stark一家人有个入场仪式，坐在长厅末端的Jon正好可以把每个人的入场情况看个清楚：Cerci：美丽、冷漠Robbert：是个红脸长须、汗流浃背

小丽看原版书·2023-09-26 00:00

JAVA常见的8种数据结构

查询速度快，但是数组的容量固定，无法扩容，只能存储同类型的数据，对于添加和删除元素比较慢2、栈（Stark）栈是一种先进后出的一种结构，好比水桶。

bjzw·2023-09-18 22:40

StarkNet 批量交互 mint 铸造 js 脚本

代码的详细步骤：导入模块和变量：const{Provider,constants,RpcProvider,Account,Contract,json,uint256,ec,stark,hash}=requ

点云-激光雷达-Slam-三维牙齿·2023-09-09 10:08

Layer 2盛夏已至，StarkNet如何实现价值跃迁？

在属于L2的盛夏，欧科云链OKLink正式推出了ZKRollup明星项目Stark

欧科云链·2023-09-06 12:23

算术化电路中如何使用定制gates？

当侧重ProverTime时，可考虑STARK方案。并借助recursiveSTARK+SNARK，来获得smallproof。ProverTime：直接取决于计算size。

mutourend·2023-09-01 04:27

Stone Prover：StarkWare的STARK Prover

1.引言StarkWare将基于Apache2.0license，开源其以C++编写的STARKProver，名为Stone（STARKone）。其基本流程为：1）编写Cairo0程序。2）使用Cairo工具将Cairo0程序编译为CASM。3）对CASM代码运行cairo_run，获得相应的Cairotrace.4）使用StoneSTARKProver来证明该Cairotrace。5）获得aST

mutourend·2023-08-29 13:35

致全世界最好的Tony Stark

*MCU入坑，Tony·RDJ·Stark的迷妹，没有看过漫画，所有观点仅专注于MCU钢铁侠并且非常主观我为什么喜欢TonyStark？

Ms_Stark·2023-08-12 01:56

Boojum：zkSync的高性能去中心化STARK证明系统

Boojum为STARK证明系统（Plonk+FRI），开源代码见：https://github.com/matter-labs/era-boojum/tree/main（Rust）其特点为：采用PLONK

mutourend·2023-07-17 19:03

STARK/SNARK加速小技巧

1.引言STARK/SNARK中包含了大量的有限域运算，如：STARK中包含了对rootsofunitydomainD={1,ω,⋯ ,ω2k−1}D=\{1,\omega,\cdots,\omega^

mutourend·2023-07-17 19:01

vue-router当中的addRoutes与、导航守卫

动态添加路由是否会覆盖旧的路由的问题已存在的不会被addRouter里面的覆盖，是具有优先权的参考：https://www.cnblogs.com/tony-stark/p/12533063.htmlvue-router

吴冬雪~·2023-06-13 21:12

Python学习之路——《python编程，从入门到实践》第六章习题

#创建字典person_dict={'first_name':'Tony','last_name':'Stark','age':'50','city':'NewYork'}#输出信息forkeyinperson

Yanchuan1214·2023-06-10 07:39

Django之stark组件

现在让我说啥是stark组件，我也说不清楚。

weixin_33860737·2023-04-03 01:04

致Tony Stark

三个小时的电影，故事丰满，布局巧妙，漫威把11年埋下的线全都放了进去，每一部电影、每一名英雄、每一处细节，小蜘蛛的Ifeelgood、美队的Language、自带BGM出场的星爵、浩克的暴脾气、洛基的幻术…我都能清清楚楚知道是什么梗，就像是把前面的系列全都重新看了一边。但是我从来没有想过，最最让我无法释怀的，居然是你，是故事始于10年前你的那句IamIronman，却也终于10年后的这句IamIr

念念之间·2023-02-05 02:49

实战微前端，从使用qiankun到自写微前端

importReactfrom'react';importReactDOMfrom'react-dom/client';import{isInIcestark,setLibraryName}from'@ice/stark

码代码的小公举·2023-02-02 09:21

使用自己的stark组件实现crm系统

因为stark用到了templates里面的html页面文件，所以要整合在一个app里，在stark里面创建名字为templates的Python Package，将之前的html页面拷贝在stark组件里面的

weixin_34175509·2023-01-25 22:03

【目标跟踪】|STARK

本文使用transformer集成时间上下文信息通过更新输入的动态模板（文中设置200帧），获得时间上下文信息，再利用transformer进行处理transformer本身对空间上下文具有更好的建模能力新架构包含三个关键组件：编码器、解码器和预测头。编码器接受初始目标对象、当前图像和动态更新模板的输入。输入是由一个搜索区域和两个模板组成的三元组。它们来自主干的特征首先被展平并连接，然后发送到编码

rrr2·2023-01-25 22:32

【STARK论文翻译阅读】

STARK:LearningSpatio-TemporalTransformerforVisualTracking论文翻译阅读简介1.引言2.相关工作2.1transformer在语言和视觉上的应用2.2

海青天·2023-01-25 22:31

大连理工和MSRA提出STARK：基于Transformer的目标跟踪器 | ICCV 2021...

点击下方卡片，关注“CVer”公众号AI/CV重磅干货，第一时间送达本文系CVer粉丝投稿|编辑：Amusi先来看下STARK在各大数据集上的性能短时跟踪TrackingNetAUC82.0%(目前第一

Amusi（CVer）·2023-01-25 22:30

10.20stark组件已经完工

2018-10-2019:37:31stark组件已经做完!基本上和Django的admin一样!

aocaiti5781·2023-01-25 22:00

【目标跟踪】|stark配置 win otb

数据集路径生成pythontracking/create_default_local_file.py--workspace_dir.--data_dir./data--save_dir.运行之后会生成如下两个文件lib/train/admin/local.py#训练的配置文件lib/test/evaluation/local.py#测试的配置文件直接运行test会报错原因是路径问题，在local中

rrr2·2023-01-25 22:58

C++ vector、queue、stark的使用

文章目录vectorqueuestackvector可以使用的功能：clear()移除容器中所有数据。empty()判断容器是否为空。erase(pos)删除pos位置的数据erase(beg,end)删除[beg,end)区间的数据front()传回第一个数据。insert(pos,elem)在pos位置插入一个elem拷贝pop_back()删除最后一个数据。push_back(elem)在尾

小天狼星_布莱克·2023-01-25 07:35

密码学系列 - 零知识证明(ZKP) - zkSTARKs

概要ZK-STARK（零知识的可伸缩性透明知识论证）是一种密码证明技术，使用户可以与第三方共享经过验证的数据或执行计算，而无需将数据或计算透露给第三方。以公开可验证的方式提供零知识证明。

搬砖魁首·2023-01-24 20:59

StarkWare的StarkNet和StarkEx

1.引言StarkWare团队基于STARK技术为以太坊扩容提供了2套方案：1）StarkEx：为许可的、application-specific扩容方案。

mutourend·2023-01-20 14:48

Polygon zkEVM R1CS与Plonk电路转换

pil-starkFibonacci状态机初体验PolygonzkEVM的pil-starkFibonacci状态机代码解析rank-1constraintsystemR1CS由上图可知，zkEVM会借助SNARK来“验证（（验证STARK

mutourend·2023-01-20 14:18

POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems 学习笔记

前序博客有：snark/stark-friendlyhash函数HADESStrategy相关代码实现有：https://github.com/dusk-network/Poseidon252【Dusk

mutourend·2023-01-06 07:45

Cheetah curve：STARK友好的椭圆曲线

1.引言Toposware团队2022年论文《SecurityAnalysisofEllipticCurvesoverSexticExtensionofSmallPrimeFields》，开源代码见：https://github.com/ToposWare/cheetah（Rust）https://github.com/toposware/cheetah_evidence（Python&SageM

mutourend·2023-01-06 07:15

Rescue-Prime hash STARK

1.引言前序博客有：STARK入门知识Rescue-PrimeSTARK针对的场景为：publicinfo：h,Hh,Hh,Hprivateinfo：xxx待证明relation：h=H(x)h=H(x

mutourend·2022-12-25 14:11

STARK入门知识

1.引言与zk-SNARK（SuccinctNon-interactiveARgumentofKnowledge）相比，STARK（ScalableTransparentARgumentofKnowledge

mutourend·2022-12-25 14:41

rescue-prime：基于Goldilocks域的Rescue-Prime 哈希函数加速

原因是，在STARK证明系统中，基于素数域的计算电路更易于证明。Rescue-Prime哈希函数为计算友好的哈希函数，目前已用于WinterfellSTARK证明系统中。

mutourend·2022-12-25 14:35

STARK & STARK_LT 复现（2021）

spm=1001.2014.3001.5501一、STARKgithub主页：https://github.com/researchmm/Stark1.环境搭建OS:Ubuntu18.04LTSCUDA

blainet·2022-11-27 14:31

STARK论文记录（2021CVPR）：Learning Spatio-Temporal Transformer for Visual Tracking

Abstract本文创新:提出了一个以编解码Transformer为关键元素的新的追踪架构。编码器建模目标和追踪区域之间的全局时空特征依赖，解码器学习一个查询嵌入(queryembedding)来预测目标对象的空间位置。将目标追踪看作一个直接的边界框预测问题，不需要任何proposal或者predefinedanchors。本文贡献:利用编解码Transformer，目标预测过程仅用了一个简单的全

三晚不过弦一郎·2022-11-22 15:08

Anatomy of a STARk

概览STARK表示ScalableTransparentARgumen

雪落无留痕·2022-08-20 01:50

ZK-STARK 介绍

ZK-STARKs由EliBen-Sasson在2018年提出，是一种零知识证明方案，其全称为：Zero-KnowledgeScalableTransparentArgumentsofKnowledgeZero-Knowledge：实现零知识证明Scalable：可扩展性Transparent：透明性，不需要可信设置ArgumentofKnowledge：知识论证，只有知道secret的prove

雪落无留痕·2022-07-28 15:57

CVPR-2021-SwinTrack: A Simple and Strong Baseline for Transformer Tracking 阅读笔记

论文地址：https://arxiv.org/abs/2112.00995代码地址：https://github.com/LitingLin/SwinTrackSwinTrack与TransT、Stark

菜菜子hoho·2022-04-25 07:00

go语言beego框架jwt身份认证实现示例

github.com/astaxie/beego""github.com/dgrijalva/jwt-go""time")三使用声明jwt需要用到的结构体const(KEYstring="JWT-ARY-STARK"DEF

·2022-04-18 13:52

目标跟踪之ICCV2021 Learning Spatio-Temporal Transformer for Visual Tracking代码复现

代码地址：https://github.com/researchmm/Stark论文地址：https://arxiv.org/abs/2103.17154一、配置环境condacreate-nstarkpython

百里工人·2022-03-04 07:45

ICCV2021跟踪算法Stark的配置（Learning Spatio-Temporal Transformer for Visual Tracking）

[paper]2、代码下载GitHub-researchmm/Stark:[ICCV'21]LearningSpatio-TemporalTransformerforVisualTracking3、环境配置因为

博博有个大大大的Dream·2022-03-04 07:41

手机追剧的GOT粉不配有姓名？有了它再也不怕这部剧的点蜡式打光

这刚刚过去的四月，无疑是属于Stark的——《复仇者联盟4》中，钢铁侠TonyStark成了拯救世界的关键人物，一个响指了结了灭霸；而在另一部粉丝众多的美剧《权利的游戏》中，我们也终于迎来了临冬城之战，

时刻娱乐·2022-02-20 03:27

stark前端代码规范

缩进使用两个空格进行缩进。eslint:indentfunction(){leta='测试字符串';console.log('测试字符串’);}引号除需要转义的情况或json文件外，字符串统一使用单引号eslint:quotesleta='测试字符串';console.log('测试字符串');变量3.1变量/常量声明声明变量请使用let声明常量或函数表达式请使用const禁止使用varleta=

谁家智障·2022-02-12 08:14

【盾铁盾】关于同人小说的跨宇宙交流

Tony重复，希望Stark意识到他是口误，或者承认他只是在胡说八道，就像他日常在做的那样。但是没有，恰恰相反，Stark颇为得意洋洋地高声说：“Right。”

花与菟丝子·2022-02-07 16:28

@ice/stark-data源码解析

在基于qiankun来进行微前端应用开发过程中，难免会碰到应用之间通信的情况，如基于某个业态下某些定制化的业务需求。这时候就涉及到某个子应用需要知道当前的"宿主"是谁(标识是哪一个私有化项目定制的业务需求)，而要知道"宿主"是谁，就需要"宿主"主动告知某个子应用，这就需要涉及到主、子应用数据通信。微前端下应用之间通信方式基于qiankun框架自带的通信方式：通过api中的initGlobalSta

·2021-11-20 15:26

kafka原理

http://blog.csdn.net/stark_summer/article/details/50144591消息队列优势:异步、削峰、解耦。

xuxw·2021-06-22 16:39

匿名币小科普：zk-SNARKs和zk-STARKs能一样吗？

在旨在为区块链提供隐私的各种加密技术中，zk-SNARK证明和zk-STARK证明就是两个不错的例子。Zk-S

区块第一站·2021-06-21 03:56

@ice/stark 随记

之前研究过相应的沙箱实现，现在走一遍整个微前端方案@ice/stark的启动流程。版本：2.0.2需求效果确认再看实际代码之前，我们先简单确认下需求：主应用的路由改变时，内容节点能渲染对应的微前端。

Gary嘉骏·2021-06-11 06:57

Linux基本操作

1查看系统信息cat/etc/issue创建和添加用户1.添加用户useraddstark2.创建用户家目录(创建一个目录）mkdir-p/home/stark3.给用户家目录chown-Rstark:

strugglexiang·2021-06-08 11:32

RNA-seq转录组名词解释基础

2019年7月24日，NatureReviewsGenetics上发表了一篇了RNA-seq的综述，文献信息如下所示：Stark,R.,etal.(2019)."

小白要变大神·2021-06-06 19:39

你真的懂HDR吗（第二节，部分色调映射算法总结）

文献【１】E.Reinhard,M.Stark,P.Shirley,andJ.Ferwerda,“Photographictonereproductionfordigitalimages,”ACMransactionsonGraphics

麻瓜智能·2021-06-06 00:23

推荐频道

stark