maxgillett/giza

Issues

• Support multiple Rust runners

  #4 opened 3 years ago by maxgillett
  3

• Meet EOF error when verifying the proof

  #32 opened a year ago by ZhouYuxuan97
  0

• bug: README example panics

  #31 opened 2 years ago by entropidelic
  2

• Giza and Forked Winterfell crates no longer compile on stable

  #30 opened 2 years ago by sashaduke
  0

• Is it going to support using in Cairo 1.0?

  #29 opened 2 years ago by jayhaizeizai
  0

• Implement ECDSA builtin

  #28 opened 2 years ago by maxgillett
  0

• Implement Pedersen builtin

  #27 opened 2 years ago by maxgillett
  0

• Is this prover compatible with the Starkware onchain smart-contract ?

  #16 opened 2 years ago by tdelabro
  5

• Verify panicked

  #25 opened 2 years ago by gaozhengxin
  3

• giza-examples panicked

  #17 opened 2 years ago by xhliu
  3

• Improve ExecutionFrame documentation

  #23 opened 2 years ago by maxgillett
  0

• Implement Bitwise builtin constraints

  #22 opened 2 years ago by maxgillett
  1

• Implement Range Check builtin constraints

  #21 opened 2 years ago by maxgillett
  0

• Improve ExecutionTrace documentation

  #20 opened 2 years ago by maxgillett
  0

• Add test coverage and benchmarks

  #19 opened 2 years ago by maxgillett
  0

• Re-enable program execution with mutable memory

  #18 opened 2 years ago by maxgillett
  0

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

  #26 opened 2 years ago by jayhaizeizai
  1

• Cleopatra Runner

  #24 opened 2 years ago by frisitano
  1

• Add zero knowledge

  #5 opened 3 years ago by maxgillett
  0

• Implement builtin constraints

  #6 opened 3 years ago by maxgillett
  1

• Compile to WASM and test in browser

  #8 opened 3 years ago by maxgillett
  1

• panicked on `read_builtins` when `output` builtin used

  #12 opened 3 years ago by tdelabro
  6

• Debug pc constraint

  #9 opened 3 years ago by maxgillett
  0

• add `rust-toolchain.toml` file

  #11 opened 3 years ago by tdelabro
  1

• Error during proof generation

  #10 opened 3 years ago by lgiussan
  1

• Optimize trace re-execution

  #7 opened 3 years ago by maxgillett
  1