29 Commits

Author SHA1 Message Date
Remco Bloemen
6315eb74af Build dylib 2022-03-24 15:21:47 -07:00
Remco Bloemen
c284e3a62a Build circuits in build.rs 2022-03-24 14:08:34 -07:00
Remco Bloemen
56719b11cd Dylib compiler example 2022-03-23 22:05:30 -07:00
Remco Bloemen
b84941f767 Add dylib support with compile time env path 2022-03-23 21:50:39 -07:00
Remco Bloemen
703fe282c1 Construct module directly from bytes 2022-03-23 21:33:36 -07:00
Remco Bloemen
16d2c02545 Deterministic proof generation 2022-03-18 18:23:38 -07:00
Remco Bloemen
75ce9df311 Proof newtype with serde 2022-03-18 12:34:36 -07:00
Remco Bloemen
047c0a1f91 Test serializer 2022-03-17 16:06:47 -07:00
Remco Bloemen
0a17226a4c Newtype the Field so we can add serializers 2022-03-17 14:58:14 -07:00
Remco Bloemen
7501a56b4c Embed circuit 2022-03-11 16:01:52 -08:00
Remco Bloemen
a7108109fc Implement conversions 2022-03-11 14:50:51 -08:00
Remco Bloemen
3f9442decb Fix dep clippies 2022-03-11 10:44:33 -08:00
Remco Bloemen
016dea234e Error handling 2022-03-11 10:35:29 -08:00
Remco Bloemen
2f8acc3c15 Fix clippies 2022-03-10 16:06:26 -08:00
Remco Bloemen
24c1df8fac Add optional mimc support 2022-03-01 16:44:25 -08:00
Remco Bloemen
3e7ff80611 Add benchmark 2022-02-28 19:44:30 -08:00
Remco Bloemen
1b0cf0a8fa Turn main into test 2022-02-28 17:17:42 -08:00
psippl
978c17dfa8 migrate ffi lib 2022-02-26 18:45:25 +01:00
Remco Bloemen
b775711657 Fix test 2022-02-25 16:22:27 -08:00
psippl
c8d06c61ba ethers-core 2022-02-20 16:20:08 -07:00
psippl
c7a5a306fc change branch 2022-02-18 10:34:34 -07:00
psippl
8d2a17cab0 tmp wasmer fix for mobile build 2022-02-18 10:24:49 -07:00
psippl
0737ac5976 snark file config and ffi lib 2022-02-08 15:57:21 -10:00
Remco Bloemen
cc09d79f51 Update crate info 2022-02-01 12:17:05 -08:00
Remco Bloemen
81e10b9c75 Update deps and build instructions 2022-02-01 11:40:06 -08:00
psippl
e7958440ef proof verification working 2022-02-01 02:31:07 +01:00
psippl
2fa89d6580 prove with real params and small refactors 2022-01-31 19:05:29 +01:00
psippl
4d8b87364c poseidon tree 2022-01-29 12:52:32 +01:00
psippl
089f126e4f init 2022-01-28 01:43:38 +01:00