Commit Graph

105 Commits

Author SHA1 Message Date
parazyd
f4bab15776 Update dependencies and CI. 2022-04-23 21:21:19 +02:00
parazyd
0299b45de3 Update all dependencies. 2022-04-23 21:21:15 +02:00
parazyd
e3d076d8d3 example/tx: Update for latest codebase. 2022-04-23 21:21:14 +02:00
parazyd
d77d4dc02c Update dependencies. 2022-04-23 21:21:10 +02:00
narodnik
29a9182010 simple zk contract example 2022-04-22 11:34:56 +02:00
ghassmo
ffc16cc985 example/p2pdebug: using net2 for debugging 2022-04-20 17:17:40 +03:00
ghassmo
d23c005664 example/p2pdebug: minor changes 2022-04-12 15:35:49 +04:00
ghassmo
394daad1f7 make example/p2pdebug crate for debugging/testing the p2p network code 2022-04-12 10:59:34 +04:00
parazyd
2505f9ebf6 example: Add integration test for contract. 2022-04-11 12:53:13 +02:00
parazyd
46d64a5ce3 example" Add example smart contract implementation. 2022-04-11 12:23:15 +02:00
parazyd
f940f653b2 General clippy cleanups. 2022-03-28 21:03:17 +02:00
parazyd
fb2d3a1033 net/transport: Implement listeners for TCP and TLS + integration tests. 2022-03-28 19:59:41 +02:00
parazyd
41ecea27a7 net/transport: Implement TLS client protocol. 2022-03-28 19:59:40 +02:00
parazyd
c417ff9d64 net: Initial transport abstraction concept.
So far, only outbound TCP connections.
2022-03-28 19:59:40 +02:00
parazyd
9abf62c980 Miscellaneous cleanups. 2022-03-28 19:59:39 +02:00
parazyd
89af9715ed example: Remove dao_process.rs 2022-03-28 19:59:38 +02:00
parazyd
143449db4e example/halo2: Remove old files. 2022-03-28 19:59:38 +02:00
parazyd
45f82839ca example: WIP DAO proposal process. 2022-02-26 12:28:37 +01:00
parazyd
0656ae2ca7 example: Delete some unnecessary examples. 2022-02-21 08:34:30 +01:00
parazyd
9a659f771a example/net: Compile fix. 2022-02-19 12:27:56 +01:00
dasman
7da841e9e7 bin/ircd: fixing ping-pong reply which fixes occasional re-connection (#66) 2022-02-18 09:58:29 +01:00
aggstam
6045eb1449 rand version update to 0.8.5, fixed broken tests imports, added Clone and PartialEq macros at crypto::schnorr::Signature 2022-02-16 21:32:56 +02:00
parazyd
fa5fec46dc proof: Add WIP DAO 2022-02-08 00:52:03 +01:00
parazyd
c65a3845a9 example/halo2: R1CS gate. 2022-01-26 11:26:04 +01:00
parazyd
f8ab5ef5e3 Move mint and burn Rust examples into proof/ to complement zkas code. 2022-01-26 10:11:13 +01:00
parazyd
287302f4ec make fix 2022-01-26 03:06:29 +01:00
parazyd
7e76a669cc zk/vm: Simplify some enums and properly witness some remaining types. 2022-01-26 02:59:01 +01:00
parazyd
86d9aa81b2 zk/vm: Proper separation for prover and verifier.
The witnesses the prover passes in should be correct, and the witnesses
that the verifier passes in should have the same types, and be None.

We'll see later how this will affect more complex circuits, but we
hope it won't bite us in the ass.
2022-01-26 01:29:10 +01:00
parazyd
9774fda80d Update .gitignore files. 2022-01-25 23:59:57 +01:00
parazyd
7e465e93f9 example/halo2: Remove anonvote.rs 2022-01-25 23:57:59 +01:00
parazyd
d25bfd930e example: Remove config_local. 2022-01-25 23:57:27 +01:00
parazyd
6cab96a28c zk/vm: Remove old VM code and move newest to "vm" module. 2022-01-25 23:47:54 +01:00
parazyd
c5aab1d2f8 example/vm: Update for new enums. 2022-01-25 20:31:35 +01:00
parazyd
d4309aebb9 example: Add zkas VM usage example for mint and burn. 2022-01-25 19:00:07 +01:00
parazyd
7349a21497 example/halo2: Port mint.rs to beta1 API. 2022-01-25 18:57:34 +01:00
parazyd
a431fab6d7 Have config files be spawned by the binaries if necessary.
Closes: #42
2022-01-13 19:54:19 +01:00
parazyd
78f6a89e20 Clean up and enable working examples. 2022-01-13 15:42:55 +01:00
lunar-mining
d001a140dc moved src/bin/ to /example and fixed errors 2022-01-09 15:46:01 +01:00
parazyd
ef575206fe config: Update default cashier public key. 2022-01-07 09:52:50 +01:00
ghassmo
17644b1049 use clap 3 in example/net.rs 2022-01-07 01:00:16 +04:00
parazyd
cf836ad583 example: Remove obsolete vm directory. 2022-01-04 11:07:04 +01:00
narodnik
bc0299d806 recover all p2p net example code for testing purposes 2021-12-22 10:28:52 +01:00
parazyd
2d95620314 Remove mint/spend params from config_local. 2021-12-02 21:48:21 +01:00
parazyd
d79a18e37c cli: Remove mint/spend params config entries. 2021-12-02 21:24:15 +01:00
lunar-mining
fe0cc7f08f Merge branch 'halo2-integration' 2021-11-27 11:41:12 +01:00
parazyd
09d1abeb76 example/halo2: Port poseidon_add to new message API. 2021-11-17 12:38:04 +01:00
parazyd
221671d418 example/halo2: Add another Poseidon example with > 2 messages. 2021-11-17 12:34:50 +01:00
parazyd
c2efac3436 example/halo2: Rename poseidon to poseidon_add. 2021-11-17 12:34:18 +01:00
parazyd
391d38dd48 examples/halo2: Add circuit skeleton for anonymous voting. 2021-11-16 14:02:28 +01:00
parazyd
ff14b46809 examples/halo2: Fix compile warnings. 2021-11-16 13:41:47 +01:00