Add claude skills and md file
Signed-off-by: Sasha Bogicevic <[email protected]>
Home /
Input Output /
hydra-poc
Apr 20, 3-4 PM (1)
Apr 20, 4-5 PM (1)
Apr 20, 5-6 PM (1)
Apr 20, 6-7 PM (0)
Apr 20, 7-8 PM (0)
Apr 20, 8-9 PM (0)
Apr 20, 9-10 PM (0)
Apr 20, 10-11 PM (0)
Apr 20, 11-12 AM (0)
Apr 21, 12-1 AM (1)
Apr 21, 1-2 AM (1)
Apr 21, 2-3 AM (1)
Apr 21, 3-4 AM (0)
Apr 21, 4-5 AM (0)
Apr 21, 5-6 AM (0)
Apr 21, 6-7 AM (0)
Apr 21, 7-8 AM (0)
Apr 21, 8-9 AM (39)
Apr 21, 9-10 AM (0)
Apr 21, 10-11 AM (0)
Apr 21, 11-12 PM (23)
Apr 21, 12-1 PM (0)
Apr 21, 1-2 PM (0)
Apr 21, 2-3 PM (0)
Apr 21, 3-4 PM (1)
Apr 21, 4-5 PM (1)
Apr 21, 5-6 PM (1)
Apr 21, 6-7 PM (1)
Apr 21, 7-8 PM (0)
Apr 21, 8-9 PM (0)
Apr 21, 9-10 PM (0)
Apr 21, 10-11 PM (0)
Apr 21, 11-12 AM (0)
Apr 22, 12-1 AM (1)
Apr 22, 1-2 AM (0)
Apr 22, 2-3 AM (1)
Apr 22, 3-4 AM (0)
Apr 22, 4-5 AM (0)
Apr 22, 5-6 AM (0)
Apr 22, 6-7 AM (0)
Apr 22, 7-8 AM (0)
Apr 22, 8-9 AM (4)
Apr 22, 9-10 AM (0)
Apr 22, 10-11 AM (1)
Apr 22, 11-12 PM (2)
Apr 22, 12-1 PM (0)
Apr 22, 1-2 PM (1)
Apr 22, 2-3 PM (0)
Apr 22, 3-4 PM (0)
Apr 22, 4-5 PM (0)
Apr 22, 5-6 PM (0)
Apr 22, 6-7 PM (0)
Apr 22, 7-8 PM (0)
Apr 22, 8-9 PM (0)
Apr 22, 9-10 PM (0)
Apr 22, 10-11 PM (0)
Apr 22, 11-12 AM (0)
Apr 23, 12-1 AM (0)
Apr 23, 1-2 AM (0)
Apr 23, 2-3 AM (0)
Apr 23, 3-4 AM (0)
Apr 23, 4-5 AM (0)
Apr 23, 5-6 AM (0)
Apr 23, 6-7 AM (0)
Apr 23, 7-8 AM (0)
Apr 23, 8-9 AM (0)
Apr 23, 9-10 AM (0)
Apr 23, 10-11 AM (4)
Apr 23, 11-12 PM (1)
Apr 23, 12-1 PM (0)
Apr 23, 1-2 PM (2)
Apr 23, 2-3 PM (1)
Apr 23, 3-4 PM (0)
Apr 23, 4-5 PM (0)
Apr 23, 5-6 PM (0)
Apr 23, 6-7 PM (0)
Apr 23, 7-8 PM (1)
Apr 23, 8-9 PM (0)
Apr 23, 9-10 PM (0)
Apr 23, 10-11 PM (0)
Apr 23, 11-12 AM (0)
Apr 24, 12-1 AM (0)
Apr 24, 1-2 AM (0)
Apr 24, 2-3 AM (1)
Apr 24, 3-4 AM (1)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (0)
Apr 24, 10-11 AM (0)
Apr 24, 11-12 PM (0)
Apr 24, 12-1 PM (34)
Apr 24, 1-2 PM (0)
Apr 24, 2-3 PM (1)
Apr 24, 3-4 PM (1)
Apr 24, 4-5 PM (1)
Apr 24, 5-6 PM (0)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (0)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (0)
Apr 26, 11-12 AM (0)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (0)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (1)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (1)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (0)
Apr 27, 11-12 PM (0)
Apr 27, 12-1 PM (0)
Apr 27, 1-2 PM (0)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
131 commits this week
Apr 20, 2026
-
Apr 27, 2026
Make selfCI Linux-only in build
Add partial fanout boundary condition and mutation tests
Accumulate partial fanout UTxOs with correct L1 TxIns in ClosedState
Remove unused PartialFanoutWrongProof
Add value conservation check to partial fanout validator
checkPartialFanout now verifies that headInValue equals headOutValue plus the sum of all distributed output values, preventing Ada theft via outputs not counted by the membership proof. The off-chain partialFanoutTx builder is updated accordingly to subtract distributed values from the continuing head output.
Fix tests
Fix warnings
Remove accumulatorHash and proof from ClosedDatum
Fix CRS size mismatch and fanout E2E tests
Bring back correct execution units and make the tests pass.
Signed-off-by: Sasha Bogicevic <[email protected]>
Rebase
Signed-off-by: Sasha Bogicevic <[email protected]>
Increase memory and steps exec limits
Add adjusted redeemers to mkScriptIntegrity
Update plutus scripts
Master rebase
Signed-off-by: Sasha Bogicevic <[email protected]>
Introduce CRS script into tx-cost
Signed-off-by: Sasha Bogicevic <[email protected]> nix flake check Introduce CRS script into tx-cost Signed-off-by: Sasha Bogicevic <[email protected]>
Add genesis-dijkstra.json to git
Remove sha-256 since it causes nix-flake check to fail Signed-off-by: Sasha Bogicevic <[email protected]> Fix golden files Signed-off-by: Sasha Bogicevic <[email protected]> Fix script registry test Signed-off-by: Sasha Bogicevic <[email protected]> Fix accumulator bench Signed-off-by: Sasha Bogicevic <[email protected]>
Correctly produce large enough CRS
Signed-off-by: Sasha Bogicevic <[email protected]>
Add needed datum in fanout test, keep the datum as
[BuiltinBLS12_381_G1_Element] Signed-off-by: Sasha Bogicevic <[email protected]>
Setup for the on-chain checks
We want to get to a working state with all tests green before we tackle using crs string as a reference input. Signed-off-by: Sasha Bogicevic <[email protected]>
Use TxOutRef to find crs datum and hook everything on-chain
Signed-off-by: Sasha Bogicevic <[email protected]>