Function light_client_accepts 

pub fn light_client_accepts(
    proof_verified: bool,
    n: usize,
    claimed_votes: usize,
) -> bool

A light client accepts consensus state only if a succinct zk proof of the quorum verifies (it does NOT re-execute the chain): accept iff proof_verified AND a BFT quorum was claimed.