https://github.com/qedprotocol/ark-swiftness
Cairo-VM Stark Verifier Arkworks implementation(WIP)
https://github.com/qedprotocol/ark-swiftness
arkworks starknet swiftness
Last synced: about 1 year ago
JSON representation
Cairo-VM Stark Verifier Arkworks implementation(WIP)
- Host: GitHub
- URL: https://github.com/qedprotocol/ark-swiftness
- Owner: QEDProtocol
- Created: 2024-09-03T04:15:21.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-10-12T10:05:52.000Z (over 1 year ago)
- Last Synced: 2025-02-19T13:14:02.703Z (over 1 year ago)
- Topics: arkworks, starknet, swiftness
- Language: Rust
- Homepage:
- Size: 5.5 MB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# ark-swiftness
This is an experimental implementation of a Cairo VM verifier in Arkworks. Ported from [swiftness](https://github.com/iosis-tech/swiftness).