Horus Protocol is built on a robust tech stack, combining various technologies and programming languages to ensure the efficient and secure implementation of our protocol. Here are the key components of our tech stack:

Solidity: Solidity is a programming language specifically designed for writing smart contracts on the Ethereum blockchain. It is the primary language used in Horus Protocol for developing and deploying the smart contracts that power our decentralized payment infrastructure.

Circom 2.0 (ZK-SNARK Compiler): Circom 2.0 is a powerful compiler specifically tailored for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) circuits. It enables us to express complex zk-SNARK circuits and compile them into efficient and secure implementations within Horus Protocol.

Snarkjs: Snarkjs is a widely-used JavaScript library that provides an implementation of the zero-knowledge protocol in JavaScript. It offers the necessary tools and utilities to perform zk-SNARK computations, proof generation, and verification within Horus Protocol.

Circomlib: Circomlib is a library of circom templates, which are reusable circuit components in Circom. These templates streamline the development process by providing pre-built circuit designs for common functionalities within Horus Protocol, reducing development time and ensuring code efficiency.

Hardhat: Hardhat is a development environment and testing framework for Ethereum smart contracts. It offers a wide range of tools and features to facilitate the development, compilation, deployment, and testing of smart contracts within Horus Protocol.

Typescript: Typescript is a programming language that adds static typing to JavaScript. It enhances code quality, readability, and maintainability within Horus Protocol by providing compile-time type checking and improved developer tooling.

By leveraging this comprehensive tech stack, Horus Protocol achieves a solid foundation for the implementation of our decentralized crypto payment infrastructure. These technologies work in harmony to ensure the integrity, security, and efficiency of our protocol.