hub / github.com/WizardOfMenlo/stir

github.com/WizardOfMenlo/stir @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

281 symbols 646 edges 46 files ⚖ MIT 21 documented · 7% ● updated 9mo ago★ 75

Browse by type

⨍ Functions 213◇ Types & classes 68

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

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 5 filesdefault_fs_config

src/crypto/fs/blake3.rs

↓ 4 filesdedup

Deduplicates AND orders a vector

src/utils.rs

↓ 4 filessqueeze_integer

src/utils.rs

↓ 3 filesstack_evaluations

Takes the vector of evaluations (assume that evals[i] = f(omega^i)) and folds them into a vector of such that folded_evals[i] = …

src/utils.rs

↓ 3 filesfft_interpolate

Given a generator and a coset offset, computes the interpolating offset Requires to be given the inversion of the generator and …

src/poly_utils/interpolation.rs

↓ 3 filesRound

scripts/protocol.py

browse all functions →

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

github.com/WizardOfMenlo/stir @main

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page