The kernel for proof peer