Issues
- 11
- 1
Move R1CS constraints out of Jolt proof
#436 opened by quangvdao - 0
Jolt book wasm tutorial questions
#448 opened by Chengcheng-S - 0
Open-source CPU targets
#446 opened by taqtiqa-mark - 0
Comparmentalize Serialization Logic
#425 opened by sragss - 0
- 1
- 0
M extension wiki
#438 opened by moodlezoup - 1
RV64 exploration
#439 opened by moodlezoup - 0
Sparse Spartan
#324 opened by sragss - 8
EVM Friendly Transcript
#328 opened by sragss - 5
Sumcheck Optimizations
#348 opened by sragss - 1
guest can't use serde
#394 opened by sid-alluri - 0
Refactor tests for virtual instruction sequences
#406 opened by moodlezoup - 0
Improve Sumcheck Debug
#433 opened by sragss - 0
Casting to float can produce invalid proofs
#411 opened by jswalens - 0
- 0
- 1
A mistake in Lasso explanation
#366 opened by doutv - 0
Wiki: Intro to RISC-V
#320 opened by sragss - 0
Wiki: Advanced SDK Usage
#321 opened by sragss - 0
Optimize SparseGrandProductLayer
#404 opened by sragss - 1
getrandom - target is not supported
#399 opened by ArielElb - 1
Enable making some inputs private
#371 opened by imikushin - 0
- 1
JoltField arithmetic by reference
#380 opened by sragss - 1
Bug report: Memory/Instruction decoding
#391 opened by benoitrazet - 0
Fix CI tests
#376 opened by moodlezoup - 0
Improve JoltPolynomial / JoltCommitments logic
#382 opened by sragss - 2
- 1
Potential Bug: timestamp_range_check commitments length does not match openings length
#343 opened by sragss - 2
Optimize Eq Poly Construction during Grand Products
#352 opened by sragss - 0
Dedupe "Circuit Flags" "Op Flags"
#377 opened by sragss - 0
Fix multiple build target warnings on examples
#323 opened by sragss - 6
- 1
How to specify private inputs?
#362 opened by ix42 - 4
Retry install_toolchain
#356 opened by sragss - 3
Can we move criterion to dev-dependencies or use feature tag to make it possible to block related code?
#345 opened by flyq - 0
Efficient opening proofs in `read_write_memory.rs`
#350 opened by moodlezoup - 2
Refactor `EqPolynomial::evals`
#351 opened by moodlezoup - 0
Simplified second-Spartan-sum-check (via simpler uniform R1CS product-vector MLE)
#347 opened by arasuarun - 0
- 2
- 0
Visibility of ProofTranscript in utils module is hidden
#334 opened by jimpo - 0
Review jolt-core exports
#337 opened by sragss - 1
Fix Sha2Chain Example
#325 opened by sragss - 0
Wiki: Explanation of ZK Strategy
#330 opened by sragss - 0
Wiki: Explanation of Continuations Strategy
#332 opened by sragss - 1
Unit test parity between `R1CSInputs::clone_to_trace_len_chunks` and `R1CSProof::format_commitments`
#317 opened by sragss - 0
Wiki: Hyrax explainer
#319 opened by sragss