Misha Volkhov
Misha Volkhov
Hi! This is a copy of issues that I have with both `rifle` and `ql`: https://github.com/alphapapa/org-rifle/issues/67, see my last comment there. Basically, sometimes, when the request is too heavy, helm...
Hi! I experience the following weird behaviour: sometimes, when I'm typing small words (I've figured out `helm-org-rifle` only works with words of length >2 (or is it for occur only?))...
Feature suggestion. I'm using `org-rifle` for superlinks (https://github.com/toshism/org-super-links), and thus I am mostly interested in grepping headings; although I also need results that search the text of a specific heading....
This addresses https://github.com/MinaProtocol/mina/issues/14628 Part 1: https://github.com/MinaProtocol/mina/pull/15071 - proof-systems PR: https://github.com/o1-labs/proof-systems/pull/1377 - bindings PR: https://github.com/o1-labs/o1js-bindings/pull/217 - o1js PR: https://github.com/o1-labs/o1js/pull/1290
As per the Least Authority's audit and subjective experience, it would be a good idea to improve naming of the core Pickles (and Kimchi) variables. This issue is only for...
This epic is for implementation of Large MSM project up until the very first deliverable. The plan is as follows (+ see issues in this epic): 1. [x] Finalizing MVLookup...
Multiplication is a bit more tricky than addition (previous step), but by now we should have everything end-to-end. Write a test.
This adds very basic public input support, namely that the verifier can explicitly specify some columns of the witness (its prefix) instead of fully relying on the commitments in the...
Prover and verifier now don't have any ability to set a public instance, which we need to add for both generality and for actually making our Phase 1 MSM Proofs...
Right now `ffa/` contains both actual FFA and a "toy" circuit used for testing. The suggestion is to move all test stuff into `test`/ to keep it clear.