Search results

Axiom Equality Constraints

Status: Open.

#38 In Ethan-000/halo2_backend;

· jp4g opened on Jun 18, 2023

Axiom Arithmetic Constraints not working

Status: Open.

#37 In Ethan-000/halo2_backend;

· jp4g opened on Jun 17, 2023

MockProver Tests

Status: Open.

#26 In Ethan-000/halo2_backend;

· jp4g opened on Jun 6, 2023

dynamic configuration

Status: Open.

#21 In Ethan-000/halo2_backend;

· Ethan-000 opened on Jun 2, 2023

ecdsa

Status: Open.

#8 In Ethan-000/halo2_backend;

· Ethan-000 opened on May 25, 2023

keccak

Status: Open.

#7 In Ethan-000/halo2_backend;

· Ethan-000 opened on May 25, 2023

change transcript path

Status: Open.

#3 In Ethan-000/halo2_backend;

· Ethan-000 opened on Apr 18, 2023