Zero-knowledge proof based on zk-SNARKs applying ω Protocol : zk-FIDNA | Synapse