https://github.com/Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

Building blocks of a Circle STARK verifier in Bitcoin script
https://github.com/Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

bitcoin op-cat stark zero-knowledge-proof

Last synced: 8 days ago
JSON representation

Building blocks of a Circle STARK verifier in Bitcoin script

• Host: GitHub
• URL: https://github.com/Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark
• Owner: Bitcoin-Wildlife-Sanctuary
• License: mit
• Created: 2024-04-10T20:51:46.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-08-25T09:54:56.000Z (3 months ago)
• Last Synced: 2024-08-26T04:47:45.297Z (3 months ago)
• Topics: bitcoin, op-cat, stark, zero-knowledge-proof
• Language: Rust
• Homepage: https://docs.btcwild.life
• Size: 1.39 MB
• Stars: 104
• Watchers: 4
• Forks: 22
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-op-cat - STARK Verifier
• awesome-op-cat - STARK Verifier

README

        


  

















## Circle STARK Verifier in Bitcoin Script

This repository includes Bitcoin script implements a Circle Plonk verifier in Bitcoin script, consisting of reusable 

components.

### Building Blocks

- **M31, CM31, QM31, Circle Point**: implementation of add, sub, mul of Mersenne-31 (M31) and its complex extension (CM31) and its degree-4 extension (QM31), 

    and specifically table-based mul and non-table-based mul, and implementation of add, sub, mul of circle points, which are over the circle curve `x^2 + y^2 = 1`.

- **Fiat-Shamir Transcript**: aka "channel", which is the name used in Starkware's [stwo](https://github.com/starkware-libs/stwo) library, which supports absorbing and squeezing elements for Fiat-Shamir transform using hints and `OP_CAT + OP_SHA256`.

- **Proof-of-Work Check**: verifying the proof-of-work used in FRI-based protocols.

- **FRI**: implementation of the FRI quotient polynomial and the protocol for FRI low-degree testing.

- **Merkle Tree**: implementation of Merkle path verification using hints and `OP_CAT + OP_SHA256`.

---

### License and contributors

This repository is intended to be public good. It is under the MIT license. 

A portion of the code is contributed by [L2 Iterative (L2IV)](https://www.l2iterative.com/), a crypto 

VC based in San Francisco and Hong Kong. The work receives support from Starkware, who is a limited partner in L2IV. For 

disclosure, L2IV has also invested into numerous companies active in the Bitcoin ecosystem, but this work is open-source 

and nonprofit, and is not intended for competition. The code is not investment advice.

Starkware contributes a portion of the code, including the original Rust FRI implementation (from stwo) and some Bitcoin scripts.

There are also community members contributing to the code and contributing to the ideas. Bitcoin Wildlife Sanctuary is a 

public-good project supported by many people. 

Below we reiterate the contributors to this repository.

  

    

      
victorkstarkware
💻

      
Abdel @ StarkWare 
🚧

      
Dependabot
🛡️

      
PayneJoe
💻

      
janusz
👀

      
Deyan Dimitrov
💻