Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • examples
  • master default protected
  • v0.3.0
  • 0.2.0
  • v0.2.0
5 results
Created with Raphaël 2.2.03Apr31Mar3029282016Feb1526Aug5May426Jan27Dec5Aug422Jul6Jun10Apr24Mar23218Feb3121Jan26Dec17169724Nov18151296529Oct201919Sep1714331Aug24Jun159627May114326Mar2524231613127128Feb31Jan2215Dec318Nov31Oct30718Sep151413CI: add same jobs as in original GitHub forkmastermasterfix a typo in the "unknown" arm of `match`examplesexamplesadd the `--overhead` option to `examples/toolkit run`get the result of the `match` in a variabledump the batch proof to NUON in the multi-poly-multi-point setupdump the proof to NUON datamake `PolynomialCommitment::Proof` "serde"ableformat the codeadd a bit more documentation to the `run` command and the `README`give the check status to the output NUON data: true or falsegive cloned values to the polynomial commitmentsmove the printing to `show_*` functionsprint the values as a NUON table after the query setprint the query set as a NUON tableadd a bit more polynomials and points in the examplesrefactor the `cargo ... | from nuon` calls in the toolkitput the NUON conversion in the toolkit directlyadd `--all-pc-examples` to the `toolkit run` commandadd NUON debug to all the examplesput all the debug on a single lineadd NUON debug to the multi-polynomial-multi-point setupput all the output on a single lineadd NUON debug output to the regular PC schemedirectly pass the challenge generator to the PC callsmake the multi-polynomial-multi-point work in the examplesremove the `EvaluationDomain` contraint on `F: PrimeField`adapt `batch::end_to_end` to a multi-poly-multi-point setuprename `proofs` to `proof` => it's a single batch proofreorder the importspass the `query_set` from `prove` to `check`make `batch::check` multi-poly and multi-pointfix the ownership of the labeled polynomialsmake `build_query_set` only borrow its argumentsfix the `Evaluations` importmake `batch::prove` multi-polynomial and multi-pointuse the draft "batch" `end_to_end` template in all examplesmake `common::polynomial_commitment::batch` publicadd a new clone of the common template as `batch` moduleadd the same exact example but with `sonic`rename `kzg-pc` into `marlin` and `ipa-pc` into plain `ipa`