62 Commits

Author	SHA1	Message	Date
lunar-mining	29cfa5dc3c	book: update broken link. run cargo fmt	2022-10-27 08:40:54 +02:00
mohab metwally	149aaaf465	[zk/circuits/lead_contract] replace constrain instance for coin2 commit, and serial number with constrain equal	2022-10-26 22:22:43 +02:00
aggstam	e5bfd44c74	consensus/ouroboros: fixed tests, fmt, removed db folder	2022-10-15 21:03:29 +03:00
mohab metwally	665f48f281	[ouroboros] under consensus	2022-10-15 19:03:14 +02:00
mohab metwally	964e2dce48	[crypsinous]organize epoch consensus	2022-10-15 18:40:11 +02:00
mohab metwally	6b83239db6	merge conflicts	2022-10-15 14:23:27 +02:00
mohab metwally	fca2e499a6	[clock] moved clock to consensus	2022-10-10 11:58:17 +02:00
Luther Blissett	c769fd42ec	Update dependency versions and remove env_logger dep.	2022-10-07 00:58:48 +02:00
aggstam	78b291c6ed	example/lead.rd: fixed unresolved import	2022-10-06 21:12:10 +03:00
Luther Blissett	88abda32ce	make fix and cargo fmt.	2022-10-06 14:21:56 +02:00
ghassmo	e5e09726b9	run cargo fmt	2022-10-03 11:43:05 +04:00
mohab metwally	85096c5caa	[stakeholder/stakeholder] burn/mint lead coin	2022-09-30 17:27:07 +02:00
mohab metwally	df690f54b8	[blockchain/epoch] remove EpochItem from EpochConsensus	2022-09-29 17:29:53 +02:00
Luther Blissett	77a68942df	cargo fmt	2022-09-26 13:09:00 +02:00
mohab metwally	0f7902a968	prune unused imports in example/lead, util/clock	2022-09-25 20:16:41 +02:00
Luther Blissett	bcf031fb8a	Update examples.	2022-09-24 16:02:20 +02:00
Dastan-glitch	a50de65a78	Clippy lints	2022-09-21 03:47:24 +03:00
mohab metwally	7f3c89c07c	resolve lead example	2022-09-17 15:39:59 +02:00
mohab metwally	97aa221e73	[crypsinous] merge crypsinousintomaster	2022-09-17 15:07:57 +02:00
mohab metwally	f98137e306	merge crypsinous into master in crypsinousintomaster branch	2022-09-15 18:38:11 +02:00
mohab metwally	ff60218574	[crypsinous] missing reward value, set up reward=1, sigma=#slot*reward	2022-09-15 12:57:34 +02:00
mohab metwally	7488b9f484	[crypsinous zk/circuit/lead_contract] fix order of public inputs	2022-08-14 22:19:40 +02:00
mohab metwally	346cb9046b	[crypsinous zk/circuit/lead_contract] add nullifier prefix	2022-08-14 15:20:12 +02:00
mohab metwally	4ba9bbf284	[crypsinous:zk/lead_circuit] move public input coin_nonce2 to the end	2022-08-11 18:54:49 +02:00
mohab metwally	8a143e1ba9	[crypsinous:example/lead] fix sn PRF	2022-08-09 15:25:13 +02:00
mohab metwally	577b778f54	pruned lead proof abit, and replaced rho2 pedersen with poseidon	2022-08-01 21:04:53 +02:00
mohab metwally	b7bfad332a	miscel changes to the crypsinous sim	2022-08-01 11:49:47 +02:00
mohab metwally	031ce67a0f	fix lead example with new stakeholder api	2022-07-30 20:53:41 +02:00
mohab metwally	7eee509922	[WIP/crypsinous simulation] crypsinous simualtion still wip	2022-07-18 11:57:25 +02:00
mohab metwally	7e6c79fb4b	[consensus] extract eta from lead proof hash rather than transaction hash	2022-07-14 00:11:30 +02:00
mohab metwally	3436f22696	[consensus] append TransactionLeadProof to ourboros metadata	2022-07-12 22:04:31 +02:00
mohab metwally	45ff3f63d2	[crypsinous] misl	2022-07-07 21:13:54 +02:00
mohab metwally	a9abb7c7db	[crypsinous] move circuit creation to leadcoin	2022-07-06 20:29:03 +02:00
mohab metwally	93cdc7e1ff	[crypsinous] miscellaneous changes, and fixing typos, and bugs	2022-07-05 22:40:08 +02:00
mohab metwally	0c32d4d9d0	update lead example with changes	2022-07-05 02:01:04 +02:00
mohab metwally	663c67ce10	debugging lead circuit	2022-06-24 10:25:02 +02:00
mohab metwally	570a7b1eda	[src/blockchain/epoch] added epoch struct	2022-06-22 15:37:28 +02:00
aggstam	d5c96db14c	crypto/constants.rs: created commonly used MERKLE_DEPT constant	2022-06-22 09:55:10 +03:00
mohab metwally	a7b2eb575d	epoch's coins secret keys are dervied from each others	2022-06-22 00:28:36 +02:00
mohab metwally	f7b4c9af27	updated lead proof/example with halo2 api	2022-06-21 16:48:09 +02:00
parazyd	587f0b4b93	make fix and minor manual cleanups.	2022-05-22 12:29:23 +02:00
parazyd	d765387fd0	Update dependencies and reduce compilation time. ... For release, we don't need halo2 dev stuff, so we move it into dev-deps.	2022-05-21 13:32:13 +02:00
aggstam	698db2bd9d	example/lead.rs: removed duplicate dependencies	2022-05-16 18:58:49 +03:00
parazyd	f8c2ee5617	Port codebase to latest halo2 API.	2022-05-16 17:30:46 +02:00
Dastan-glitch	5b467f4cef	update Cargo.lock and fix formatting	2022-05-16 16:19:37 +03:00
mohab	8b9bdac46f	miscellaneous changes	2022-05-16 13:56:00 +02:00
mohab	683b96369d	[example/lead] provingkey is panking on leadcontract, fallback to previous example	2022-05-16 13:56:00 +02:00
mohab	24882c8cc9	[example/lead] create_lead_coin_public_inputs	2022-05-16 13:56:00 +02:00
mohab	3ea82ee8a3	[example/lead] create_coins_sk as PRF derived from previous sks	2022-05-16 13:56:00 +02:00
lunar-mining	40e48eacb0	dnetview: cleanup msg log Span assignment and cargo fmt ... cargo fmt picked up a few issus in zk/circuit/lead_contract.rs and example/lead.rs	2022-05-08 10:39:14 +02:00