Winterfell用于任意计算的 STARK 证明器和验证器认领

0粉丝

Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目，目前它没有经过审计，可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。概述：STARK 是一个新颖的计算证明方案，用于创建可有效验证计算是否正确执行的证明。该方案由以色列理工学院的 Eli Ben-Sa

简介

Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目，目前它没有经过审计，可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。概述：STARK 是一个新颖的计算证明方案，用于创建可有效验证计算是否正确执行的证明。该方案由以色列理工学院的 Eli Ben-Sa... 更多

其它信息

授权协议

MIT

开发语言

Rust

操作系统

跨平台

软件类型

开源软件

所属分类

应用工具、科研计算工具

开源组织

无

地区

不详

适用人群

未知

开源地址

https://www.proginn.com/w/1496577

时光轴

里程碑1

LOG2

2023

09-29

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

revalidatorNodejs 验证器

revalidator是一款跨浏览器的Node.js验证器，是resourceful和flatiron正在使用的验证器。示例revalidator的核心是很简单和简洁的:revalidator.val

pgmpPostgreSQL的任意精度计算模块

pgmp是PostgreSQL的扩展模块，用于将对GMP库提供的任意精度数据类型的支持添加到数据库中。该扩展将 mpz（任意大小的整数）和 mpq （任意精度的有理数）类型添加到PostgreSQL，

Valiktor用于验证对象的 DSL

Valiktor 是一个类型安全、功能强大且可扩展的流畅 DSL，用于验证 Kotlin 中的对象。

Valiktor用于验证对象的 DSL

Valiktor是一个类型安全、功能强大且可扩展的流畅DSL，用于验证Kotlin中的对象。安装Gradle(Groovy):compile 'org.valiktor:valiktor-core:0

common-validator.jsWeb前端通用验证器

common-validator.js 是一个Web前端通用验证器。此次发布的2.0版本在1.0的基

common-validator.jsWeb前端通用验证器

common-validator.js是一个Web前端通用验证器。此次发布的2.0版本在1.0的基础架构上做了全新的调整，希望能通过这个JS验证器小组件为我们码农们提供微小的帮助。该版本的主要新特性包

koc-loader用于 webpack 的 Knockout 组件加载器

koc-loader 是一个 webpack loader，可以使用类似 Vue 单文件组件的风格来

bignumber.js任意精度/进制计算库

bignumber.js是用于任意精度十进制和非十进制运算的JavaScript库。特性整数和小数简单的API，但功能齐全相比较于JavaScript的Java的BigDecimal版本更快，更小，也

bignumber.js任意精度/进制计算库

bignumber.js 是用于任意精度十进制和非十进制运算的 JavaScript 库。特性整数和

EdgelessDB用于机密计算的 MySQL 兼容数据库

EdgelessDB 是一个完整的 SQL 数据库，专为机密计算而设计。它与开发者现有的工具和工作流