hub / github.com/WizardOfMenlo/stir

github.com/WizardOfMenlo/stir @main

281 symbols 646 edges 46 files 21 documented · 7%

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

<a href="https://github.com/WizardOfMenlo/stir/blob/main/LICENSE-APACHE"><img src="https://img.shields.io/badge/license-APACHE-blue.svg"></a>
<a href="https://github.com/WizardOfMenlo/stir/blob/main/LICENSE-MIT"><img src="https://img.shields.io/badge/license-MIT-blue.svg"></a>

This library was developed using the arkworks ecosystem to accompany STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries. By Gal Arnon Alessandro Chiesa, Giacomo Fenzi, and Eylon Yogev.

Find also an explanatory blog post.

WARNING: This is an academic prototype and has not received careful code review. This implementation is NOT ready for production use.

Extension points exported contracts — how you extend this code

LowDegreeTest (Interface)

(no doc) [2 implementers]

src/ldt.rs

Prover (Interface)

(no doc) [2 implementers]

src/ldt.rs

Verifier (Interface)

(no doc) [2 implementers]

src/ldt.rs

Core symbols most depended-on inside this repo

absorb

called by 18

src/crypto/fs/blake3.rs

evaluate

called by 15

src/poly_utils/bs08.rs

Shape

Method 145

Function 68

Class 63

Interface 3

Enum 2

Languages

Rust65%

Python35%

Modules by API surface

scripts/protocol.py69 symbols

src/poly_utils/bs08.rs12 symbols

src/stir/verifier.rs10 symbols

src/stir/prover.rs10 symbols

src/crypto/merkle_tree/sha3.rs10 symbols

src/crypto/merkle_tree/poseidon.rs10 symbols

src/crypto/merkle_tree/blake3.rs10 symbols

src/crypto/merkle_tree/blake2.rs10 symbols

graph_script.py10 symbols

src/domain.rs9 symbols

src/poly_utils/interpolation.rs8 symbols

src/utils.rs7 symbols

For agents

$ claude mcp add stir \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact