snarkvm-synthesizer (cargo): Synthesizer for a decentralized virtual machine
Keywords: cryptography|blockchain|zero-knowledge|decentralized|aleo|rust|zkp