https://github.com/avras/bitcoinvm
Implementation of BitcoinVM circuit using Halo2
https://github.com/avras/bitcoinvm
Last synced: 5 months ago
JSON representation
Implementation of BitcoinVM circuit using Halo2
- Host: GitHub
- URL: https://github.com/avras/bitcoinvm
- Owner: avras
- License: other
- Created: 2022-08-19T02:01:42.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2024-04-03T10:56:46.000Z (about 2 years ago)
- Last Synced: 2025-06-14T07:44:48.023Z (about 1 year ago)
- Language: Rust
- Size: 659 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: COPYING.md
Awesome Lists containing this project
README
# BitcoinVM
[halo2](https://github.com/zcash/halo2) circuits to prove ownership of Bitcoin UTXOs. The eventual goal is a privacy-preserving Bitcoin proof-of-reserves implementation with support for all UTXO types.
## Implemented features
- RIPEMD160 hash function
- Verification of a P2PK script
- Parsing of [data push](https://en.bitcoin.it/wiki/Script#Constants) opcodes
## License
Licensed under either of
* Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or
http://www.apache.org/licenses/LICENSE-2.0)
* MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
at your option.
## Acknowledgment
The work in this repository was supported by a [0xPARC](https://0xparc.org/about) halo2 working group grant.