Search results

Meet EOF error when verifying the proof

Status: Open.

#32 In maxgillett/giza;

· ZhouYuxuan97 opened on Jul 13, 2023

bug: README example panics

Status: Open.

#31 In maxgillett/giza;

· entropidelic opened on Feb 17, 2023

Is it going to support using in Cairo 1.0?

Status: Open.

#29 In maxgillett/giza;

· jayhaizeizai opened on Feb 3, 2023

Implement ECDSA builtin

Status: Open.

#28 In maxgillett/giza;

· maxgillett opened on Jan 20, 2023

Implement Pedersen builtin

Status: Open.

#27 In maxgillett/giza;

· maxgillett opened on Jan 20, 2023

Is it possible to use giza to prove specific cario program?

Status: Open.

#26 In maxgillett/giza;

· jayhaizeizai opened on Dec 8, 2022

Improve ExecutionFrame documentation

Status: Open.

#23 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022

Implement Bitwise builtin constraints

Status: Open.

#22 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022

Implement Range Check builtin constraints

Status: Open.

#21 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022

Improve ExecutionTrace documentation

Status: Open.

#20 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022

Add test coverage and benchmarks

Status: Open.

#19 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022

Re-enable program execution with mutable memory

Status: Open.

#18 In maxgillett/giza;

· maxgillett opened on Aug 4, 2022