dadadave80

dadadave80/aegis-relay

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

0 stars 0 forks 0 watchers TypeScript Other
View on GitHub Website
12 Open Issues Need Help Last updated: Jul 3, 2026

Open Issues Need Help

View All on GitHub
test(dashboard): add recipient claim-auth regression coverage about 3 hours ago
help wanted wave complexity: medium area: testing area: dashboard
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
test(fixtures): detect cross-stack generated-artifact drift about 3 hours ago
help wanted wave complexity: medium area: zk area: prover area: testing
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
ci(circuits): run existing circuit verification matrix about 3 hours ago
help wanted wave complexity: medium area: zk area: testing area: dx
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
feat(registry): add one private custody handoff transition about 3 hours ago
help wanted wave complexity: high area: soroban area: prover
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
feat(credentials): verify A3 proof at carrier acceptance about 3 hours ago
help wanted wave complexity: high area: soroban area: prover
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
test(prover): add adversarial proof-encoding vectors about 3 hours ago
help wanted wave complexity: medium area: prover area: testing
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
test(registry): property-test shipment state invariants about 3 hours ago
help wanted wave complexity: medium area: soroban area: testing
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
dx: add one-command contributor verification about 3 hours ago
help wanted wave complexity: medium area: testing area: dx
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
feat(zk): add A4 custody handoff proof primitive about 3 hours ago
help wanted wave complexity: high area: zk
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
feat(zk): add A3 carrier credential circuit about 3 hours ago
help wanted wave complexity: high area: zk
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
feat(zk): add A5 cold-chain compliance circuit about 3 hours ago
help wanted wave complexity: high area: zk
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript
docs(zk): publish Soroban Groth16 interoperability guide about 3 hours ago
help wanted wave complexity: medium area: zk area: prover area: docs
dadadave80/aegis-relay
0

Privacy-preserving supply-chain custody & delivery settlement on Stellar — Groth16/BN254 proofs verified on-chain via CAP-74/75; drone corridor compliance without revealing the route. Stellar Hacks: Real-World ZK.

TypeScript