Quang Dao

icon indicating a website link https://quangvdao.github.io/ icon indicating an email [email protected]

icon location Pittsburgh, PA icon location PhD Student at Carnegie Mellon University. Interested in cryptography and formal verification

Results 2 issues of Quang Dao

arc1 way too difficult for progression

3 comment

Hi, I'm going through the exercises, and it seems that `arc1.rs` is a bit out of place. It doesn't relate to any other exercises in `standard_library_types`, and the solver probably...

Move R1CS constraints out of Jolt proof

Currently, a `JoltProof` consists of an `R1CSProof`, which in turn consists of a `UniformSpartanKey` and a `UniformSpartanProof`. The former one, `UniformSpartanKey`, contains the R1CS constraints for Jolt. These constraints are...