├── Dockerfile ├── Jenkinsfile ├── Makefile ├── README.md ├── SECURITY.md ├── artifacts ├── build-info │ └── 42dde7861dd18b0c94ad51f8f79088d1.json └── contracts │ └── test-verifier.sol │ ├── Pairing.dbg.json │ ├── Pairing.json │ ├── Verifier.dbg.json │ └── Verifier.json ├── circuits ├── batchverify.circom ├── binadd.circom ├── binmul.circom ├── binsub.circom ├── chunkedadd.circom ├── chunkedmul.circom ├── chunkedsub.circom ├── chunkify.circom ├── inversemodulo.circom ├── lt.circom ├── modinv.circom ├── modulus.circom ├── point-addition.circom ├── pointcompress.circom ├── scalarmul.circom ├── utils.circom └── verify.circom ├── contracts └── test-verifier.sol ├── hardhat.config.js ├── package.json └── test ├── batchverify.test.js ├── binadd.test.js ├── binaddirr.test.js ├── binmul.test.js ├── binsub.test.js ├── chunkedadd.test.js ├── chunkify.test.js ├── circuits ├── batchverify.circom ├── binadd1.circom ├── binadd2.circom ├── binaddirr.circom ├── binmul1.circom ├── binmulfast1.circom ├── binmulfast51.circom ├── binmulfast51_1.circom ├── binmulfast51_2.circom ├── binmullessthan51.circom ├── binsub1.circom ├── chunkedadd.circom ├── chunkedadd1.circom ├── chunkedmodulus.circom ├── chunkify1.circom ├── inversemodulo1.circom ├── modinv.circom ├── modulus0.circom ├── modulus1.circom ├── modulus2.circom ├── modulusagainst2p.circom ├── modulusq1.circom ├── modulusq2.circom ├── point-addition51.circom ├── pointcompress.circom ├── scalarmul.circom └── verify.circom ├── contract.test.js ├── ed25519verfication.test.js ├── inversemodulo.test.js ├── modinv.test.js ├── modulus.test.js ├── modulusagainst2p.test.js ├── pointadd.test.js ├── pointcompress.test.js ├── scalarmul.test.js └── utils.js /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/Dockerfile -------------------------------------------------------------------------------- /Jenkinsfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/Jenkinsfile -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/SECURITY.md -------------------------------------------------------------------------------- /artifacts/build-info/42dde7861dd18b0c94ad51f8f79088d1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/artifacts/build-info/42dde7861dd18b0c94ad51f8f79088d1.json -------------------------------------------------------------------------------- /artifacts/contracts/test-verifier.sol/Pairing.dbg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/artifacts/contracts/test-verifier.sol/Pairing.dbg.json -------------------------------------------------------------------------------- /artifacts/contracts/test-verifier.sol/Pairing.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/artifacts/contracts/test-verifier.sol/Pairing.json -------------------------------------------------------------------------------- /artifacts/contracts/test-verifier.sol/Verifier.dbg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/artifacts/contracts/test-verifier.sol/Verifier.dbg.json -------------------------------------------------------------------------------- /artifacts/contracts/test-verifier.sol/Verifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/artifacts/contracts/test-verifier.sol/Verifier.json -------------------------------------------------------------------------------- /circuits/batchverify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/batchverify.circom -------------------------------------------------------------------------------- /circuits/binadd.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/binadd.circom -------------------------------------------------------------------------------- /circuits/binmul.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/binmul.circom -------------------------------------------------------------------------------- /circuits/binsub.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/binsub.circom -------------------------------------------------------------------------------- /circuits/chunkedadd.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/chunkedadd.circom -------------------------------------------------------------------------------- /circuits/chunkedmul.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/chunkedmul.circom -------------------------------------------------------------------------------- /circuits/chunkedsub.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/chunkedsub.circom -------------------------------------------------------------------------------- /circuits/chunkify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/chunkify.circom -------------------------------------------------------------------------------- /circuits/inversemodulo.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/inversemodulo.circom -------------------------------------------------------------------------------- /circuits/lt.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/lt.circom -------------------------------------------------------------------------------- /circuits/modinv.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/modinv.circom -------------------------------------------------------------------------------- /circuits/modulus.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/modulus.circom -------------------------------------------------------------------------------- /circuits/point-addition.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/point-addition.circom -------------------------------------------------------------------------------- /circuits/pointcompress.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/pointcompress.circom -------------------------------------------------------------------------------- /circuits/scalarmul.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/scalarmul.circom -------------------------------------------------------------------------------- /circuits/utils.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/utils.circom -------------------------------------------------------------------------------- /circuits/verify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/circuits/verify.circom -------------------------------------------------------------------------------- /contracts/test-verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/contracts/test-verifier.sol -------------------------------------------------------------------------------- /hardhat.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/hardhat.config.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/package.json -------------------------------------------------------------------------------- /test/batchverify.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/batchverify.test.js -------------------------------------------------------------------------------- /test/binadd.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/binadd.test.js -------------------------------------------------------------------------------- /test/binaddirr.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/binaddirr.test.js -------------------------------------------------------------------------------- /test/binmul.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/binmul.test.js -------------------------------------------------------------------------------- /test/binsub.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/binsub.test.js -------------------------------------------------------------------------------- /test/chunkedadd.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/chunkedadd.test.js -------------------------------------------------------------------------------- /test/chunkify.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/chunkify.test.js -------------------------------------------------------------------------------- /test/circuits/batchverify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/batchverify.circom -------------------------------------------------------------------------------- /test/circuits/binadd1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binadd1.circom -------------------------------------------------------------------------------- /test/circuits/binadd2.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binadd2.circom -------------------------------------------------------------------------------- /test/circuits/binaddirr.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binaddirr.circom -------------------------------------------------------------------------------- /test/circuits/binmul1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmul1.circom -------------------------------------------------------------------------------- /test/circuits/binmulfast1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmulfast1.circom -------------------------------------------------------------------------------- /test/circuits/binmulfast51.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmulfast51.circom -------------------------------------------------------------------------------- /test/circuits/binmulfast51_1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmulfast51_1.circom -------------------------------------------------------------------------------- /test/circuits/binmulfast51_2.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmulfast51_2.circom -------------------------------------------------------------------------------- /test/circuits/binmullessthan51.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binmullessthan51.circom -------------------------------------------------------------------------------- /test/circuits/binsub1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/binsub1.circom -------------------------------------------------------------------------------- /test/circuits/chunkedadd.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/chunkedadd.circom -------------------------------------------------------------------------------- /test/circuits/chunkedadd1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/chunkedadd1.circom -------------------------------------------------------------------------------- /test/circuits/chunkedmodulus.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/chunkedmodulus.circom -------------------------------------------------------------------------------- /test/circuits/chunkify1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/chunkify1.circom -------------------------------------------------------------------------------- /test/circuits/inversemodulo1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/inversemodulo1.circom -------------------------------------------------------------------------------- /test/circuits/modinv.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modinv.circom -------------------------------------------------------------------------------- /test/circuits/modulus0.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulus0.circom -------------------------------------------------------------------------------- /test/circuits/modulus1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulus1.circom -------------------------------------------------------------------------------- /test/circuits/modulus2.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulus2.circom -------------------------------------------------------------------------------- /test/circuits/modulusagainst2p.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulusagainst2p.circom -------------------------------------------------------------------------------- /test/circuits/modulusq1.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulusq1.circom -------------------------------------------------------------------------------- /test/circuits/modulusq2.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/modulusq2.circom -------------------------------------------------------------------------------- /test/circuits/point-addition51.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/point-addition51.circom -------------------------------------------------------------------------------- /test/circuits/pointcompress.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/pointcompress.circom -------------------------------------------------------------------------------- /test/circuits/scalarmul.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/scalarmul.circom -------------------------------------------------------------------------------- /test/circuits/verify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/circuits/verify.circom -------------------------------------------------------------------------------- /test/contract.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/contract.test.js -------------------------------------------------------------------------------- /test/ed25519verfication.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/ed25519verfication.test.js -------------------------------------------------------------------------------- /test/inversemodulo.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/inversemodulo.test.js -------------------------------------------------------------------------------- /test/modinv.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/modinv.test.js -------------------------------------------------------------------------------- /test/modulus.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/modulus.test.js -------------------------------------------------------------------------------- /test/modulusagainst2p.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/modulusagainst2p.test.js -------------------------------------------------------------------------------- /test/pointadd.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/pointadd.test.js -------------------------------------------------------------------------------- /test/pointcompress.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/pointcompress.test.js -------------------------------------------------------------------------------- /test/scalarmul.test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/scalarmul.test.js -------------------------------------------------------------------------------- /test/utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Electron-Labs/ed25519-circom/HEAD/test/utils.js --------------------------------------------------------------------------------