Commit Graph

17 Commits

Author SHA1 Message Date
Oskar Thoren 9507cf9fb8
FFI: Verify 2022-01-21 15:57:28 +08:00
Oskar Thoren a35392912f
FFI: Prove 2022-01-21 15:54:37 +08:00
Oskar Thoren f52ba69439
FFI: New 2022-01-21 15:54:25 +08:00
Oskar Thoren 7421c2b93b
FFI: Add buffer struct 2022-01-21 15:54:12 +08:00
Oskar Thoren a216612bed
Get rid of warnings; fmt 2022-01-20 12:52:58 +08:00
Oskar Thoren ac4056b3de
Verify fn and deserialize proof 2022-01-20 12:51:12 +08:00
Oskar Thoren 78f3ce4fdd
Serialize proof 2022-01-19 13:09:38 +08:00
Oskar Thoren b382046584
Multiplier proof test 2022-01-19 12:19:25 +08:00
Oskar Thoren c96ab25bc6
WIP: Sketch out public Rust API for Multiplier 2022-01-19 11:48:09 +08:00
Oskar Thoren b85950f827
Update deps and edition
rust-analyzer issue
2022-01-19 11:46:26 +08:00
Oskar Thoren cc4cf11583
Minimal FFI example for C and Nim 2022-01-18 11:19:17 +08:00
Oskar Thoren fb81e32977
Basic multiplier example
Taken from Circom 2 tests
2022-01-17 12:39:15 +08:00
Oskar Thoren 9e1dc8f4c6
Add Circom 2 example circuits 2022-01-17 12:34:02 +08:00
Oskar Thoren a340ea50fb
Add ark-circom dep with circom-2 flag 2022-01-17 12:08:14 +08:00
Oskar Thoren 4cedf635a0
Add gitignore 2022-01-17 12:08:09 +08:00
Oskar Thoren 8890b7f0d8
Add basic multipler example 2022-01-17 12:00:54 +08:00
Oskar Thoren a4e566830f
Init with README 2022-01-17 11:52:33 +08:00