S-two Examples

This page embeds the local example sources used throughout the AIR Development section.

• Repo location: learn/S-two-book/stwo-examples/
• Rust examples are under examples/

Below is an index of all example files:

• committing_to_the_trace_polynomials.rs
• components.rs
• constraints_over_trace_polynomials.rs
• dynamic_lookups.rs
• from_spreadsheet_to_trace_polynomials.rs
• hello_zk_world.rs
• local_row_constraints_fails_1.rs
• local_row_constraints_fails_2.rs
• local_row_constraints.rs
• preprocessed_trace.rs
• proving_an_air.rs
• public_input.rs
• static_lookups.rs
• writing_a_spreadsheet.rs

committing_to_the_trace_polynomials.rs

components.rs

constraints_over_trace_polynomials.rs

dynamic_lookups.rs

from_spreadsheet_to_trace_polynomials.rs

hello_zk_world.rs

local_row_constraints_fails_1.rs

local_row_constraints_fails_2.rs

local_row_constraints.rs

preprocessed_trace.rs

proving_an_air.rs

public_input.rs

static_lookups.rs

writing_a_spreadsheet.rs