Home / dcSpark / zeko
Feb 01, 5-6 PM (0)
Feb 01, 6-7 PM (0)
Feb 01, 7-8 PM (0)
Feb 01, 8-9 PM (0)
Feb 01, 9-10 PM (0)
Feb 01, 10-11 PM (0)
Feb 01, 11-12 AM (0)
Feb 02, 12-1 AM (0)
Feb 02, 1-2 AM (0)
Feb 02, 2-3 AM (0)
Feb 02, 3-4 AM (0)
Feb 02, 4-5 AM (0)
Feb 02, 5-6 AM (0)
Feb 02, 6-7 AM (0)
Feb 02, 7-8 AM (0)
Feb 02, 8-9 AM (0)
Feb 02, 9-10 AM (0)
Feb 02, 10-11 AM (0)
Feb 02, 11-12 PM (0)
Feb 02, 12-1 PM (0)
Feb 02, 1-2 PM (0)
Feb 02, 2-3 PM (0)
Feb 02, 3-4 PM (0)
Feb 02, 4-5 PM (0)
Feb 02, 5-6 PM (0)
Feb 02, 6-7 PM (0)
Feb 02, 7-8 PM (0)
Feb 02, 8-9 PM (0)
Feb 02, 9-10 PM (0)
Feb 02, 10-11 PM (0)
Feb 02, 11-12 AM (0)
Feb 03, 12-1 AM (0)
Feb 03, 1-2 AM (0)
Feb 03, 2-3 AM (0)
Feb 03, 3-4 AM (0)
Feb 03, 4-5 AM (0)
Feb 03, 5-6 AM (0)
Feb 03, 6-7 AM (0)
Feb 03, 7-8 AM (0)
Feb 03, 8-9 AM (0)
Feb 03, 9-10 AM (0)
Feb 03, 10-11 AM (0)
Feb 03, 11-12 PM (0)
Feb 03, 12-1 PM (0)
Feb 03, 1-2 PM (1)
Feb 03, 2-3 PM (0)
Feb 03, 3-4 PM (1)
Feb 03, 4-5 PM (3)
Feb 03, 5-6 PM (0)
Feb 03, 6-7 PM (0)
Feb 03, 7-8 PM (0)
Feb 03, 8-9 PM (0)
Feb 03, 9-10 PM (0)
Feb 03, 10-11 PM (0)
Feb 03, 11-12 AM (0)
Feb 04, 12-1 AM (0)
Feb 04, 1-2 AM (0)
Feb 04, 2-3 AM (0)
Feb 04, 3-4 AM (0)
Feb 04, 4-5 AM (0)
Feb 04, 5-6 AM (0)
Feb 04, 6-7 AM (0)
Feb 04, 7-8 AM (0)
Feb 04, 8-9 AM (0)
Feb 04, 9-10 AM (0)
Feb 04, 10-11 AM (0)
Feb 04, 11-12 PM (0)
Feb 04, 12-1 PM (0)
Feb 04, 1-2 PM (0)
Feb 04, 2-3 PM (0)
Feb 04, 3-4 PM (0)
Feb 04, 4-5 PM (1)
Feb 04, 5-6 PM (0)
Feb 04, 6-7 PM (0)
Feb 04, 7-8 PM (0)
Feb 04, 8-9 PM (0)
Feb 04, 9-10 PM (0)
Feb 04, 10-11 PM (0)
Feb 04, 11-12 AM (0)
Feb 05, 12-1 AM (0)
Feb 05, 1-2 AM (0)
Feb 05, 2-3 AM (0)
Feb 05, 3-4 AM (0)
Feb 05, 4-5 AM (0)
Feb 05, 5-6 AM (0)
Feb 05, 6-7 AM (0)
Feb 05, 7-8 AM (0)
Feb 05, 8-9 AM (0)
Feb 05, 9-10 AM (0)
Feb 05, 10-11 AM (0)
Feb 05, 11-12 PM (0)
Feb 05, 12-1 PM (0)
Feb 05, 1-2 PM (0)
Feb 05, 2-3 PM (0)
Feb 05, 3-4 PM (0)
Feb 05, 4-5 PM (0)
Feb 05, 5-6 PM (0)
Feb 05, 6-7 PM (0)
Feb 05, 7-8 PM (0)
Feb 05, 8-9 PM (0)
Feb 05, 9-10 PM (0)
Feb 05, 10-11 PM (0)
Feb 05, 11-12 AM (0)
Feb 06, 12-1 AM (0)
Feb 06, 1-2 AM (0)
Feb 06, 2-3 AM (0)
Feb 06, 3-4 AM (0)
Feb 06, 4-5 AM (0)
Feb 06, 5-6 AM (0)
Feb 06, 6-7 AM (0)
Feb 06, 7-8 AM (0)
Feb 06, 8-9 AM (0)
Feb 06, 9-10 AM (0)
Feb 06, 10-11 AM (0)
Feb 06, 11-12 PM (0)
Feb 06, 12-1 PM (0)
Feb 06, 1-2 PM (0)
Feb 06, 2-3 PM (0)
Feb 06, 3-4 PM (1)
Feb 06, 4-5 PM (0)
Feb 06, 5-6 PM (0)
Feb 06, 6-7 PM (0)
Feb 06, 7-8 PM (0)
Feb 06, 8-9 PM (0)
Feb 06, 9-10 PM (0)
Feb 06, 10-11 PM (0)
Feb 06, 11-12 AM (0)
Feb 07, 12-1 AM (0)
Feb 07, 1-2 AM (0)
Feb 07, 2-3 AM (0)
Feb 07, 3-4 AM (0)
Feb 07, 4-5 AM (0)
Feb 07, 5-6 AM (0)
Feb 07, 6-7 AM (0)
Feb 07, 7-8 AM (0)
Feb 07, 8-9 AM (0)
Feb 07, 9-10 AM (0)
Feb 07, 10-11 AM (0)
Feb 07, 11-12 PM (0)
Feb 07, 12-1 PM (0)
Feb 07, 1-2 PM (0)
Feb 07, 2-3 PM (3)
Feb 07, 3-4 PM (0)
Feb 07, 4-5 PM (0)
Feb 07, 5-6 PM (0)
Feb 07, 6-7 PM (0)
Feb 07, 7-8 PM (0)
Feb 07, 8-9 PM (0)
Feb 07, 9-10 PM (0)
Feb 07, 10-11 PM (0)
Feb 07, 11-12 AM (0)
Feb 08, 12-1 AM (0)
Feb 08, 1-2 AM (0)
Feb 08, 2-3 AM (0)
Feb 08, 3-4 AM (0)
Feb 08, 4-5 AM (0)
Feb 08, 5-6 AM (0)
Feb 08, 6-7 AM (0)
Feb 08, 7-8 AM (0)
Feb 08, 8-9 AM (0)
Feb 08, 9-10 AM (0)
Feb 08, 10-11 AM (0)
Feb 08, 11-12 PM (0)
Feb 08, 12-1 PM (0)
Feb 08, 1-2 PM (0)
Feb 08, 2-3 PM (0)
Feb 08, 3-4 PM (0)
Feb 08, 4-5 PM (0)
Feb 08, 5-6 PM (0)
10 commits this week Feb 01, 2025 - Feb 08, 2025
tests (#247)
* wip tests

* Rename helper_token_id to helper_token_id_l1 in spec

* Fix incorrect constant in zeko_transaction_snark

* Fix bug in indexed merkle tree, found in audit

`root_new` was completely unconstrained when `check` was `false`.

* Make circuits compile

Override wrap domain had to be used in various places,
and various circuits had to be reduced in size due to bugs in Pickles.

* Make Compile_simple.compile take N13, N14, N15 rather than N0, N1, N2

* Compile all circuits in compilation test

* Pass through branch_name correctly in folder

* Fix bug in SnarkArray.t

We forgot to keep the length information when going from list to array

* Expose make for ase

* change wording in time_promise

* reformat

* tests

* Fix bug in DA signature check

We weren't using Even_PC in Rule_commit

* Fix branch_name in Rule_pause

* Fix bug in folder merge found in audit

* wip

* Force all configs to be dummy configs

* wip