A computer scientist helped turn jewelry counts into a financing tool. Two decades later, Gabriel Nasser is still asking how to prove the gold is where it belongs.