00-INDEX PVUGC-001-gt-xpdh-assumption PVUGC-002-multi-crs-anding PVUGC-003-independence-property PVUGC-004-poce-soundness PVUGC-005-context-binding PVUGC-006-degenerate-values PVUGC-007-timing-race-conditions PVUGC-008-musig2-compartmentalization PVUGC-009-dem-profile PVUGC-010-crs-validation README appendix_mathematical_considerations