Commit Graph

  • 6c1b1e3e63 cleanups before PR upstream master themighty1 2022-10-13 16:16:56 +03:00
  • 567537cc37 Merge pull request #1 from tlsnotary/rust_impl Dan 2022-10-12 15:42:50 +00:00
  • 27a55ab408 pdf rust_impl themighty1 2022-10-12 18:40:56 +03:00
  • d414fb141e bench and misc themighty1 2022-10-12 18:39:57 +03:00
  • 58a2493ce8 add readme themighty1 2022-10-12 18:07:23 +03:00
  • 2d4a24c101 add generated poseidon params themighty1 2022-10-12 17:46:49 +03:00
  • 2c69326a0b cleanups themighty1 2022-10-11 10:23:43 +03:00
  • b1585cb3ea more tests themighty1 2022-10-08 16:40:42 +03:00
  • 455420b282 halo2 wip and tests themighty1 2022-09-21 21:07:35 +03:00
  • cffba8cc6e wip themighty1 2022-09-21 15:28:13 +03:00
  • e9b95af414 ported halo2 circuit themighty1 2022-09-20 14:09:12 +03:00
  • 98d83898f5 added halo2 prover themighty1 2022-09-16 14:11:14 +03:00
  • cb51765a0e added arkworks poseidon themighty1 2022-09-02 09:14:55 +03:00
  • ad2652a79b add arith label check themighty1 2022-08-29 17:42:52 +03:00
  • 4c0eec8d5e wip themighty1 2022-08-26 18:01:10 +03:00
  • 5b3c26ed8f labelsum salt works themighty1 2022-08-26 11:27:13 +03:00
  • 963b16ee0e add missing files themighty1 2022-08-26 09:12:32 +03:00
  • 1f2be7d308 verif fails themighty1 2022-08-26 09:08:15 +03:00
  • d66f4d9046 96-bit arithmetic labels themighty1 2022-08-25 16:53:57 +03:00
  • b9df2124e9 pass proving key to js themighty1 2022-08-25 15:47:52 +03:00
  • 9c1736fdf8 typestates for verifier themighty1 2022-08-25 15:30:48 +03:00
  • 84f902436a wip. will add some more steps to the protocol themighty1 2022-08-25 13:44:28 +03:00
  • d45e409aa5 typestates work themighty1 2022-08-24 15:49:06 +03:00
  • 46b18683e4 commit before starting impl typestates themighty1 2022-08-23 07:10:50 +03:00
  • aa2896eeb6 wip themighty1 2022-08-22 20:37:16 +03:00
  • b5d7203228 wip themighty1 2022-08-22 19:55:01 +03:00
  • e3358c757d works themighty1 2022-08-22 17:50:01 +03:00
  • db9b21a399 improved pattern themighty1 2022-08-20 11:31:14 +03:00
  • 4daafbae12 more files themighty1 2022-08-19 18:44:44 +03:00
  • 1ad64091c0 will impl VerifierGetSet themighty1 2022-08-19 17:51:19 +03:00
  • 8f888bca07 new dir structure themighty1 2022-08-19 10:48:54 +03:00
  • b9561ee927 use box themighty1 2022-08-17 19:06:45 +03:00
  • 0abb37b06b wip commit to figure out lifetimes themighty1 2022-08-17 17:47:02 +03:00
  • 63d85ee278 both traits work themighty1 2022-08-14 17:11:26 +03:00
  • 42946d0834 prover trait themighty1 2022-08-14 14:13:25 +03:00
  • c445735b09 will create a trait for node/wasm separation themighty1 2022-08-14 13:43:40 +03:00
  • e99024d2af multi proof works themighty1 2022-08-14 11:21:44 +03:00
  • 75d75ce49f chunking works with 1 chunk themighty1 2022-08-11 16:10:42 +03:00
  • 5dff68b194 added temp files themighty1 2022-08-09 19:50:43 +03:00
  • b06641c093 verifier generates public.json themighty1 2022-08-09 18:09:37 +03:00
  • 65c2ded97c e2e works (still need to generate public.json on verifier side) themighty1 2022-08-08 15:19:31 +03:00
  • 9b903c4f86 bin2ar works themighty1 2022-08-08 14:01:44 +03:00
  • 308212a335 fix circuit themighty1 2022-08-04 09:55:51 +03:00
  • 6cde8c1850 e2e works themighty1 2022-08-04 09:44:55 +03:00
  • 14810c616e 30 bytes/2Ghz core/sec themighty1 2022-08-03 19:18:05 +03:00
  • bbafcd321d Circuit for 16 Field elements (no salt yet). themighty1 2022-08-03 12:49:15 +03:00
  • de09f4daaf wip will modify circuit.circom to not chain hashes themighty1 2022-08-03 07:27:21 +03:00
  • f1a6f92f07 wip themighty1 2022-07-29 13:16:29 +03:00
  • 09acee32bc more verbose diagram themighty1 2022-07-27 09:24:57 +03:00
  • dfd27d8e1c add diagram themighty1 2022-06-03 22:27:42 +03:00
  • e0a0afb49a fix comment themighty1 2022-06-02 14:56:32 +03:00
  • 475a01604e initial themighty1 2022-06-02 14:44:35 +03:00