Attester-Proposer Separation Research Program