arnaucube
/
Nova
mirror of https://github.com/arnaucube/Nova.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 4970826 small cleanup (#71) by Srinath Setty 2022-05-18 08:23:07 +0530
  • 25cd5ec Fix Wasm support (#64) by Samuel Burnham 2022-05-17 09:21:48 -0400
  • dbe8837 Update README.md (#70) by Srinath Setty 2022-05-17 18:51:31 +0530
  • 188a7c5 Add a non-trivial step circuit (#66) by Srinath Setty 2022-05-17 18:38:42 +0530
  • 1fd4eee Recursion implementation (#65) by Srinath Setty 2022-05-17 18:29:29 +0530
  • 4311ad1 cleanup trivial (#63) by Srinath Setty 2022-05-15 19:29:10 +0530
  • 07b3c42 Recursion APIs (#62) by Srinath Setty 2022-05-15 12:05:18 +0530
  • e8a6e45 move StepSNARK to nifs.rs in prep for recursion APIs (#61) by Srinath Setty 2022-05-15 07:29:42 +0530
  • 9f7c12d Base case for second circuit (#60) by iontzialla 2022-05-14 10:56:57 -0400
  • 3193d67 delegate sampling of generators to trait implementors (#59) by Srinath Setty 2022-05-14 12:16:22 +0530
  • 36d4be2 take ro_constants as a parameter (#58) by Srinath Setty 2022-05-14 10:50:10 +0530
  • 6ac9c77 precompute R1CSShape's digest (#57) by Srinath Setty 2022-05-13 20:23:21 +0530
  • fab0768 remove unneeded tracking and checks (#55) by Srinath Setty 2022-05-13 14:50:42 +0530
  • 562fa71 move from rug to num-bigint (#53) by Srinath Setty 2022-05-13 14:20:37 +0530
  • 677fe23 Switch RO to use the one in the Group trait (#54) by Srinath Setty 2022-05-13 14:19:34 +0530
  • 82b7fab absorb running instance separately (for clarity) (#52) by Srinath Setty 2022-05-13 11:48:53 +0530
  • 706d688 add hash(params, U, z0, zi, i) when generating a challenge (#51) by Srinath Setty 2022-05-13 11:04:12 +0530
  • ccc6dc3 Truncate digest bits (#50) by Srinath Setty 2022-05-13 10:38:43 +0530
  • 0d53db1 implement transcript methods for various types (#49) by Srinath Setty 2022-05-12 12:28:43 +0530
  • 485eb3f fix build (#48) by Srinath Setty 2022-05-11 11:57:27 +0530
  • f11a8f1 trait updates to support using Poseidon as RO (#43) by Srinath Setty 2022-05-11 11:06:24 +0530
  • 9a466d1 Change alloc_num_equals arguments to references (#45) by Arthur Greef 2022-04-29 15:44:38 -0700
  • bcbdec2 Accelerated MSM prep (#41) by Srinath Setty 2022-04-25 21:09:47 -0700
  • 3445d7d remove unused constants (#40) by Srinath Setty 2022-04-25 18:40:09 -0700
  • 751b343 make gadgets public, expose coords, cleanup (#39) by Srinath Setty 2022-04-25 16:11:56 -0700
  • fd0b0b7 remove unused where (#38) by Srinath Setty 2022-04-25 15:58:30 -0700
  • fbc855d Wasm support (#34) by Samuel Burnham 2022-04-25 18:58:16 -0400
  • 4656a71 Refactor circuit code (#37) by iontzialla 2022-04-25 17:54:53 -0400
  • 72920fb update crate versions (#36) by Srinath Setty 2022-04-25 12:45:20 -0700
  • beb6dac add tinyr1cs example using bellperson (#33) by Srinath Setty 2022-04-21 14:41:05 -0700
  • c2106e8 Base case cleanup (#32) by Srinath Setty 2022-04-21 13:20:08 -0700
  • dcea0be output h2 as AllocatedNum (#31) by Srinath Setty 2022-04-15 16:59:41 -0700
  • 9a0f560 make step_circuit mandatory; add support for longer hashes (#30) by Srinath Setty 2022-04-15 16:06:26 -0700
  • 866717a cleanup how points are allocated (#29) by Srinath Setty 2022-04-15 12:04:52 -0700
  • 9a44d06 PrimeField --> ff::PrimeField (#28) by Srinath Setty 2022-04-14 07:48:55 -0700
  • c20da2f Cleanup (#27) by Srinath Setty 2022-04-13 17:29:48 -0700
  • cbc3fe8 cleanup: merge ecc and ecc_circuit (#25) by Srinath Setty 2022-04-08 14:19:32 -0700
  • bebcc94 support for stable Rust by Srinath Setty 2022-04-08 13:34:48 -0700
  • 2783989 bump version number by Srinath Setty 2022-04-08 11:03:35 -0700
  • 648eb0b Fix CS::one() bug in solver. (#24) by porcuquine 2022-04-08 06:30:52 -0700
  • e47b614 Verifier circuit (#23) by Srinath Setty 2022-04-07 14:53:57 -0700
  • 6797e1e fix loop bound (#20) by Srinath Setty 2022-04-01 13:58:54 -0700
  • 2919fe4 Use bellperson v0.19.0. (#18) by porcuquine 2022-03-22 12:24:45 -0700
  • e55d4f6 remove test feature (we don't seem to use it) (#17) by Srinath Setty 2022-02-18 14:14:54 -0800
  • 853ab90 Use pasta_curves 0.3.0. (#15) by porcuquine 2022-02-15 15:10:11 -0800
  • 5e5dd65 Update version by Srinath Setty 2021-10-20 10:28:35 -0700
  • 2a877f9 Update rust.yml by Srinath Setty 2021-10-20 10:23:49 -0700
  • 338fbff Add missing doc comments. by porcuquine 2021-10-18 17:36:41 -0700
  • c28c421 Use released bellperson 0.18.0. by porcuquine 2021-10-18 17:29:07 -0700
  • 8027bcf cargo fmt by Srinath Setty 2021-10-14 16:53:55 -0700
  • ff885c4 fix bellperson path; address minor clippy-suggested edit by Srinath Setty 2021-10-14 16:52:13 -0700
  • efb73ef Rename Prover and ProvingAssignment. by porcuquine 2021-10-13 13:43:01 -0700
  • 3b668e7 Add support for using bellperson to generate R1CS. by porcuquine 2021-10-12 15:06:29 -0700
  • 6e59ebc add CI (#9) by Srinath Setty 2021-10-14 16:47:23 -0700
  • 4c711a9 bump the version number by Srinath Setty 2021-10-08 09:55:29 -0700
  • 3e80c5c Derive more traits. (#7) by porcuquine 2021-10-08 09:52:36 -0700
  • cf5d708 Add InputOutputMismatch error. by porcuquine 2021-10-05 19:33:58 -0700
  • f87f9a0 minor nits by Srinath Setty 2021-10-05 14:39:48 -0700
  • 5829da7 bump the version number for crates.io by Srinath Setty 2021-10-04 16:06:25 -0700
  • 61ef5fc 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 by Srinath Setty 2021-10-04 14:55:16 -0700
  • de5b8d6 Support Pasta curves. (#4) by porcuquine 2021-09-27 18:23:40 -0700
  • bf08877 fix keyword by Srinath Setty 2021-09-02 13:57:46 -0700
  • c1fae71 fix docs.rs link by Srinath Setty 2021-09-02 12:57:47 -0700
  • 25913f6 update package name; make modules public and add docs by Srinath Setty 2021-09-02 12:56:51 -0700
  • 7020d7a address clippy by Srinath Setty 2021-09-02 12:39:01 -0700
  • 45baf52 Update README.md acks by Srinath Setty 2021-09-01 10:25:18 -0700
  • 4b22ef2 small cleanup by Srinath Setty 2021-09-01 10:18:39 -0700
  • 3ba8fd2 refactor: bring back compressed snark by dignifiedquire 2021-09-01 10:10:40 +0200
  • 732d937 generic traits for prime field elements and group elements by Srinath Setty 2021-08-31 13:03:54 -0700
  • 06b1c4d remove asserts by Srinath Setty 2021-07-27 16:30:08 -0700
  • bb4079e small fix by Srinath Setty 2021-07-26 12:00:09 -0700
  • 6075165 add acks and references by Srinath Setty 2021-07-26 11:58:39 -0700
  • d52be5c small fixes by Srinath Setty 2021-07-23 15:03:51 -0700
  • ba3a1e3 initial commit by Srinath Setty 2021-07-23 12:47:46 -0700
  • a3f1ded SUPPORT.md committed by Microsoft Open Source 2021-07-22 10:43:53 -0700
  • fe260cd SECURITY.md committed by Microsoft Open Source 2021-07-22 10:43:53 -0700
  • 96d7d25 README.md updated to template by Microsoft Open Source 2021-07-22 10:43:52 -0700
  • 8275225 LICENSE updated to template by Microsoft Open Source 2021-07-22 10:43:51 -0700
  • 52ae0b7 CODE_OF_CONDUCT.md committed by Microsoft Open Source 2021-07-22 10:43:51 -0700
  • a33960c Initial commit by Srinath Setty 2021-07-22 10:39:33 -0700