Georg Wiese 4d5df90e4c Handle publics in gen_halo2_proof()

2024-02-13 17:57:31 +01:00

..

data_structures

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

machines

Use Instant instead of SystemTime for profiling

2024-01-25 12:56:55 +01:00

affine_expression.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

block_processor.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

eval_result.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

expression_evaluator.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

fixed_evaluator.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

generator.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

global_constraints.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

identity_processor.rs

Witgen: Use solve_with_range_constraints() when processing outer queries

2024-01-29 11:43:23 +01:00

mod.rs

Handle publics in gen_halo2_proof()

2024-02-13 17:57:31 +01:00

processor.rs

Witgen: Use solve_with_range_constraints() when processing outer queries

2024-01-29 11:43:23 +01:00

query_processor.rs

QueryProcessor: Give access to functions

2024-02-07 18:23:54 +01:00

range_constraints.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

rows.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

sequence_iterator.rs

Updating rust version from 1.72 to 1.74.

2024-02-08 19:17:40 +00:00

symbolic_evaluator.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

symbolic_witness_evaluator.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

util.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00

vm_processor.rs

add powdr- prefix to all crates

2024-01-23 18:51:29 +01:00