489 Commits

Author	SHA1	Message	Date
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
parazyd	0a9291ce73	halo2: WIP anonymous voting.	2021-11-16 12:55:41 +01:00
narodnik	c58e6a55d3	migrate vm2 to src/	2021-11-05 15:00:08 +01:00
narodnik	e9fc914a48	migrate burn contract to src/bin from examples/halo2/src/bin	2021-11-05 14:46:23 +01:00
narodnik	89dc49e266	Revert "begin migration from example/halo2 to src/" ... This reverts commit 4cdbcc842f.	2021-11-05 14:31:23 +01:00
narodnik	4cdbcc842f	begin migration from example/halo2 to src/	2021-11-05 12:08:48 +01:00
ghassmo	c7656df4e8	add geth's ipc endpoint and passphrase to cashierd config file	2021-11-03 13:02:10 +03:00
ghassmo	f229dc6baf	config_local: update example	2021-10-31 15:27:13 +03:00
ghassmo	c9766f169c	example/config: add ethereum network to cashierd.toml file	2021-10-31 14:33:51 +03:00
narodnik	2e3458b877	change the secret key to Fp, and use mod_r_p trick when deriving the public key.	2021-10-31 12:18:27 +01:00
narodnik	b0d3a92c62	change leaf to the coin for merkle tree in burn	2021-10-31 11:52:50 +01:00
narodnik	a83b2dfc97	correctly witness variable for MerklePath	2021-10-30 22:12:40 +02:00
narodnik	1c22269d3c	add missing files	2021-10-30 22:12:33 +02:00
narodnik	383993f9f6	working burn contract	2021-10-30 22:03:50 +02:00
narodnik	cd2b41a7b5	increase rows from 9 to 11	2021-10-30 20:46:45 +02:00
narodnik	147661c94f	load sinsemilla chip	2021-10-30 20:01:03 +02:00
narodnik	407f249c1d	copy sinsemilla config over to mint example	2021-10-30 18:46:25 +02:00