The function fulfillProofRequest in Prover has a Map<String, String> as parameter. This means that we actually do not support supplying integers here. The integration test does include inequality proofs on integers, but we cannot actually supply an integer as a self-attested attribute.
The function
fulfillProofRequest
inProver
has aMap<String, String>
as parameter. This means that we actually do not support supplying integers here. The integration test does include inequality proofs on integers, but we cannot actually supply an integer as a self-attested attribute.We should support this (and test it).