arnaucube/Nova
1
0
Fork 0
mirror of https://github.com/arnaucube/Nova.git synced 2026-01-11 00:21:29 +01:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 4970826f0f small cleanup (#71) Srinath Setty 2022-05-18 08:23:07 +05:30
  • 25cd5ec279 Fix Wasm support (#64) Samuel Burnham 2022-05-17 09:21:48 -04:00
  • dbe8837991 Update README.md (#70) Srinath Setty 2022-05-17 18:51:31 +05:30
  • 188a7c5640 Add a non-trivial step circuit (#66) Srinath Setty 2022-05-17 18:38:42 +05:30
  • 1fd4eee2b6 Recursion implementation (#65) Srinath Setty 2022-05-17 18:29:29 +05:30
  • 4311ad1c1b cleanup trivial (#63) Srinath Setty 2022-05-15 19:29:10 +05:30
  • 07b3c4289b Recursion APIs (#62) Srinath Setty 2022-05-15 12:05:18 +05:30
  • e8a6e45b3c move StepSNARK to nifs.rs in prep for recursion APIs (#61) Srinath Setty 2022-05-15 07:29:42 +05:30
  • 9f7c12dbc5 Base case for second circuit (#60) iontzialla 2022-05-14 10:56:57 -04:00
  • 3193d67bce delegate sampling of generators to trait implementors (#59) Srinath Setty 2022-05-14 12:16:22 +05:30
  • 36d4be2145 take ro_constants as a parameter (#58) Srinath Setty 2022-05-14 10:50:10 +05:30
  • 6ac9c7706d precompute R1CSShape's digest (#57) Srinath Setty 2022-05-13 20:23:21 +05:30
  • fab07689eb remove unneeded tracking and checks (#55) Srinath Setty 2022-05-13 14:50:42 +05:30
  • 562fa71027 move from rug to num-bigint (#53) Srinath Setty 2022-05-13 14:20:37 +05:30
  • 677fe23673 Switch RO to use the one in the Group trait (#54) Srinath Setty 2022-05-13 14:19:34 +05:30
  • 82b7fabd9d absorb running instance separately (for clarity) (#52) Srinath Setty 2022-05-13 11:48:53 +05:30
  • 706d688a13 add hash(params, U, z0, zi, i) when generating a challenge (#51) Srinath Setty 2022-05-13 11:04:12 +05:30
  • ccc6dc3a04 Truncate digest bits (#50) Srinath Setty 2022-05-13 10:38:43 +05:30
  • 0d53db18e3 implement transcript methods for various types (#49) Srinath Setty 2022-05-12 12:28:43 +05:30
  • 485eb3fac6 fix build (#48) Srinath Setty 2022-05-11 11:57:27 +05:30
  • f11a8f19d1 trait updates to support using Poseidon as RO (#43) Srinath Setty 2022-05-11 11:06:24 +05:30
  • 9a466d1467 Change alloc_num_equals arguments to references (#45) Arthur Greef 2022-04-29 15:44:38 -07:00
  • bcbdec2982 Accelerated MSM prep (#41) Srinath Setty 2022-04-25 21:09:47 -07:00
  • 3445d7da61 remove unused constants (#40) Srinath Setty 2022-04-25 18:40:09 -07:00
  • 751b3434ec make gadgets public, expose coords, cleanup (#39) Srinath Setty 2022-04-25 16:11:56 -07:00
  • fd0b0b787b remove unused where (#38) Srinath Setty 2022-04-25 15:58:30 -07:00
  • fbc855d1d6 Wasm support (#34) Samuel Burnham 2022-04-25 18:58:16 -04:00
  • 4656a7179d Refactor circuit code (#37) iontzialla 2022-04-25 17:54:53 -04:00
  • 72920fb62b update crate versions (#36) Srinath Setty 2022-04-25 12:45:20 -07:00
  • beb6dace82 add tinyr1cs example using bellperson (#33) Srinath Setty 2022-04-21 14:41:05 -07:00
  • c2106e8109 Base case cleanup (#32) Srinath Setty 2022-04-21 13:20:08 -07:00
  • dcea0be01f output h2 as AllocatedNum (#31) Srinath Setty 2022-04-15 16:59:41 -07:00
  • 9a0f5604d6 make step_circuit mandatory; add support for longer hashes (#30) Srinath Setty 2022-04-15 16:06:26 -07:00
  • 866717a8f2 cleanup how points are allocated (#29) Srinath Setty 2022-04-15 12:04:52 -07:00
  • 9a44d06aec PrimeField --> ff::PrimeField (#28) Srinath Setty 2022-04-14 07:48:55 -07:00
  • c20da2f58c Cleanup (#27) Srinath Setty 2022-04-13 17:29:48 -07:00
  • cbc3fe81dc cleanup: merge ecc and ecc_circuit (#25) Srinath Setty 2022-04-08 14:19:32 -07:00
  • bebcc94904 support for stable Rust Srinath Setty 2022-04-08 13:34:48 -07:00
  • 27839896a3 bump version number Srinath Setty 2022-04-08 11:03:35 -07:00
  • 648eb0bb6e Fix CS::one() bug in solver. (#24) porcuquine 2022-04-08 06:30:52 -07:00
  • e47b6148f4 Verifier circuit (#23) Srinath Setty 2022-04-07 14:53:57 -07:00
  • 6797e1e042 fix loop bound (#20) Srinath Setty 2022-04-01 13:58:54 -07:00
  • 2919fe4e78 Use bellperson v0.19.0. (#18) porcuquine 2022-03-22 12:24:45 -07:00
  • e55d4f680b remove test feature (we don't seem to use it) (#17) Srinath Setty 2022-02-18 14:14:54 -08:00
  • 853ab90f7c Use pasta_curves 0.3.0. (#15) porcuquine 2022-02-15 15:10:11 -08:00
  • 5e5dd65abc Update version Srinath Setty 2021-10-20 10:28:35 -07:00
  • 2a877f9ad0 Update rust.yml Srinath Setty 2021-10-20 10:23:49 -07:00
  • 338fbff9ac Add missing doc comments. porcuquine 2021-10-18 17:36:41 -07:00
  • c28c421ab9 Use released bellperson 0.18.0. porcuquine 2021-10-18 17:29:07 -07:00
  • 8027bcf056 cargo fmt Srinath Setty 2021-10-14 16:53:55 -07:00
  • ff885c4d5d fix bellperson path; address minor clippy-suggested edit Srinath Setty 2021-10-14 16:52:13 -07:00
  • efb73ef325 Rename Prover and ProvingAssignment. porcuquine 2021-10-13 13:43:01 -07:00
  • 3b668e7ac6 Add support for using bellperson to generate R1CS. porcuquine 2021-10-12 15:06:29 -07:00
  • 6e59ebccd3 add CI (#9) Srinath Setty 2021-10-14 16:47:23 -07:00
  • 4c711a99a5 bump the version number Srinath Setty 2021-10-08 09:55:29 -07:00
  • 3e80c5c8ba Derive more traits. (#7) porcuquine 2021-10-08 09:52:36 -07:00
  • cf5d708202 Add InputOutputMismatch error. porcuquine 2021-10-05 19:33:58 -07:00
  • f87f9a0580 minor nits Srinath Setty 2021-10-05 14:39:48 -07:00
  • 5829da790d bump the version number for crates.io Srinath Setty 2021-10-04 16:06:25 -07:00
  • 61ef5fc0b1 This commit introduces the following changes: * Separate types for Relaxed R1CS and R1CS instances and witnesses * Allows creating default values for Relaxed R1CS types * StepSNARK now folds a regular R1CS instance-witness into a running Relaxed R1CS instance-witness * We additionally enforce input chaining checks: the incoming instance must have input that matches the output of the incremental computation thus far Srinath Setty 2021-10-04 14:55:16 -07:00
  • de5b8d6598 Support Pasta curves. (#4) porcuquine 2021-09-27 18:23:40 -07:00
  • bf08877544 fix keyword Srinath Setty 2021-09-02 13:57:46 -07:00
  • c1fae7168d fix docs.rs link Srinath Setty 2021-09-02 12:57:47 -07:00
  • 25913f659a update package name; make modules public and add docs Srinath Setty 2021-09-02 12:56:51 -07:00
  • 7020d7a714 address clippy Srinath Setty 2021-09-02 12:39:01 -07:00
  • 45baf52f8d Update README.md acks Srinath Setty 2021-09-01 10:25:18 -07:00
  • 4b22ef2476 small cleanup Srinath Setty 2021-09-01 10:18:39 -07:00
  • 3ba8fd28aa refactor: bring back compressed snark dignifiedquire 2021-09-01 10:10:40 +02:00
  • 732d937b09 generic traits for prime field elements and group elements Srinath Setty 2021-08-31 13:03:54 -07:00
  • 06b1c4d415 remove asserts Srinath Setty 2021-07-27 16:30:08 -07:00
  • bb4079e4f0 small fix Srinath Setty 2021-07-26 12:00:09 -07:00
  • 6075165c54 add acks and references Srinath Setty 2021-07-26 11:58:39 -07:00
  • d52be5cf4a small fixes Srinath Setty 2021-07-23 15:03:51 -07:00
  • ba3a1e3922 initial commit Srinath Setty 2021-07-23 12:47:46 -07:00
  • a3f1ded9d2 SUPPORT.md committed Microsoft Open Source 2021-07-22 10:43:53 -07:00
  • fe260cdfeb SECURITY.md committed Microsoft Open Source 2021-07-22 10:43:53 -07:00
  • 96d7d259d0 README.md updated to template Microsoft Open Source 2021-07-22 10:43:52 -07:00
  • 8275225b4c LICENSE updated to template Microsoft Open Source 2021-07-22 10:43:51 -07:00
  • 52ae0b73df CODE_OF_CONDUCT.md committed Microsoft Open Source 2021-07-22 10:43:51 -07:00
  • a33960c80e Initial commit Srinath Setty 2021-07-22 10:39:33 -07:00