Shamara (proofs)