There’s a more recent version of the first ZK paper that can be viewed here [2208.01263] A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges
(The author has also recently published a summary of it on our forum: