Cerkoryn

Results 4 issues of Cerkoryn

**Describe the bug** SOR seems to be unable to query the correct amount of ADA at the given collateral UTxO and gives an `Insufficient Funds` warning and a seemingly static...

All Submissions: * [x] Have you followed the guidelines in our [Contributing documentation](https://blockchain-technology-lab.github.io/consensus-decentralization/contribute)? * [x] Have you verified that there aren't any other open Pull Requests for the same update/change?...

## Background Issue [ouroboros-network#4051](https://github.com/IntersectMBO/ouroboros-network/issues/4051) raised concerns that the original Praos implementation used the raw VRF value from the block header instead of the range‑extended leader VRF value. The issue notes:...