GitHub - lxcxjxhx/HOS-ARES: HOS-ARES · VeriPen 渗透验证内核 — 可审计、可复现、可离线部署。确定性 oracle 判定 + 三条件合取 + 可 replay 的 proof capsule。 · GitHub

Repository navigation

HOS-ARES

Public

About

HOS-ARES · VeriPen 渗透验证内核 — 可审计、可复现、可离线部署。确定性 oracle 判定 + 三条件合取 + 可 replay 的 proof capsule。

2 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.dsh/skills		.dsh/skills
.veripen		.veripen
api		api
config		config
docs		docs
plan-veripen		plan-veripen
profiles		profiles
scripts		scripts
tests		tests
veripen		veripen
veripen_contract		veripen_contract
veripen_core		veripen_core
veripen_oracles		veripen_oracles
web		web
worker		worker
.env.example		.env.example
.gitattributes		.gitattributes
.gitignore		.gitignore
Dockerfile		Dockerfile
Makefile		Makefile
docker-compose.yml		docker-compose.yml
pyproject.toml		pyproject.toml
requirements.lock		requirements.lock
vendor.lock.json		vendor.lock.json

About

HOS-ARES · VeriPen 渗透验证内核 — 可审计、可复现、可离线部署。确定性 oracle 判定 + 三条件合取 + 可 replay 的 proof capsule。

2 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages