Name		Name	Last commit message	Last commit date
air		air
cli		cli
commitment		commitment
field		field
fri		fri
hash		hash
pow		pow
proof_parser		proof_parser
proofs		proofs
stark		stark
transcript		transcript
utils		utils
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Makefile		Makefile
README.md		README.md

Repository files navigation

ark-swiftness

This is an experimental implementation of a Cairo VM verifier in Arkworks. Ported from swiftness.

About

Cairo-VM Stark Verifier Arkworks implementation(WIP)

arkworks starknet swiftness

Custom properties

2 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages