Colin Roberts
Colin Roberts
# Prover We need to implement: - [ ] `copy_placeholder()` - [ ] `add_polynomial_evaluations_to_transcript()` (not defined in barettenberg) - [ ] `compute_batch_opening_polynomial()` (not defined in barettenberg) - [ ] `init_quotient_polynomial()`...
We have a LOT of different tools now. A LOT of tests. However, we need some example bins! What would be great is some simple binaries for our different primitives...
I made a small little DSL that will allow you to write Rust to generate the arithmetic expressions. My goal is to get this to yield circuits that can then...
## Idea I would love to see an implementation of some NIST approved lattice based crypto schemes. The two lattice based examples for signatures are: - [CRYSTALS-Dilithium](https://pq-crystals.org/dilithium/index.shtml) - [FALCON](https://falcon-sign.info) You...
**Is your feature request related to a problem? Please describe.** Find an example of what to build off of and build it! **Describe the solution you'd like** A clear and...
**Describe the bug** Apparently we can, due to rng, get an out of bounds error in the CBC encryption mode. See: https://github.com/pluto/ronkathon/actions/runs/13179737670/attempts/1 **To Reproduce** N/A?
Right now we have a commented out preprocessor for the MDBook: ```toml # TODO (autoparallel): there's a bunch to fix with this # [preprocessor.keeper] # command ="mdbook-keeper" # manifest_dir="." #...
Upon a running workflow, we hit this exception: ``` ---- curve::pairing::tests::weil_tate_pairing_test::case_2 stdout ---- thread 'curve::pairing::tests::weil_tate_pairing_test::case_2' panicked at src/curve/pairing.rs:379:5: assertion `left == right` failed left: GaloisField { coeffs: [PrimeField { value:...
We should have an Interactive Proof (IP) module for IPs other than sumcheck (e.g., zero check). We could also have IOPs placed in here too (e.g., Spartan). Wording could maybe...
## Idea We currently have no examples of `CommitmentScheme`s in our crate! This cannot be! So, we should implement a standard trait that any and all commitment schemes should use...