I'm not sure about "fixed" maybe "maximum"?

Finite might be better

Immutable verifiable pseudonymous and divisible too!

I think some of these can be assumed from the rest of words in part:

• a well functioning ledger is immutable and verifiable
• permissionless implies some degree of anonymity