13 commits

Author	SHA1	Message	Date
sowle	eb29f7f1e9	vector_UG_aggregation_proof made more strict, E_j structure now enforced to be lin(T'_j, G)	2023-03-02 22:06:42 +01:00
sowle	44e22becae	crypto: vector_UG_aggregation_proof's generation and verification have been debugged and finalized	2023-02-27 02:56:12 +01:00
sowle	7efe48f522	crypto: vector_UG_aggregation_proof moved to cpp and improved	2023-02-26 21:45:54 +01:00
sowle	5fba04627b	the first working implementation of Zarcanum PoS verification + few bugs fixed in proof gen; zarcanum_pos_block_math test should now succeed	2022-11-18 04:18:41 +01:00
sowle	a1bae08a67	crypto: minor improvements	2022-11-17 00:38:33 +01:00
sowle	4db7ac1668	pos block builder: WIP	2022-10-25 04:16:25 +02:00
sowle	b570ca81ef	pos_block_builder & zarcanum adaptation: WIP	2022-10-24 21:01:45 +02:00
sowle	fd5ecfc64c	Zarcanum PoS validation: zarcanum_verify_proof, prevalidate_miner_transaction, BPPE changed from H2 to X, etc.	2022-10-19 04:42:36 +02:00
sowle	6810a65661	the first Zarcanum PoS block generated successfully, but yet to be verified by the core	2022-10-16 03:17:18 +02:00
sowle	c5206d0f52	zarcanum PoS: another iteration on zarcanum_generate_proof (WIP)	2022-10-14 19:26:52 +02:00
sowle	7a1a4b0058	crypto: zarcanum signature generation partially done (work in progress)	2022-10-12 19:17:00 +02:00
sowle	8c71ac83b7	zarcanum: main inequality type fixed	2022-10-05 14:02:32 +02:00
sowle	af9c53794e	1) zarcanum math moved to separate file; 2) fixed an error in rhs calculation; 3) 2^64 constant + test	2022-09-13 22:08:46 +02:00