Noir Semaphore 3327

[aleksandar-veljkovic]

Noir Semaphore 3327

Summary

We aim to adapt Semaphore to Noir, utilizing Noir circuits and the PLONK verifier to enhance the ecosystem’s privacy-preserving capabilities. We will do this by using the NoirJS library and UltraPLONK backend for compiling the circuits and generating proofs.

The implementation will include:
• Noir-based circuits for Semaphore
• UltraPLONK-based proof verification
• Comprehensive testing (unit and integration) and efficiency benchmarking
• SDK modifications for easy integration
• Developer-focused documentation

Our team at 3327.io has extensive experience in ZKP, cryptographic protocols, smart contract security, and blockchain research. We are the creators of ZKSim, Curvy Protocol, and grantees of multiple grants from the Ethereum Foundation.

Team

Aleksandar Veljković

Alex is a senior researcher at the 3327 R&D department of MVP Workshop, where he has been contributing to blockchain and decentralized technologies for the past three years. He earned his Ph.D. in Computer Science in 2024 and has been actively involved in Web 3.0 technologies for nearly a decade. He also works as an assistant professor, teaching cryptography in decentralized systems and contributes to the open-source community. His main areas of interest are cryptographic protocols, zero-knowledge proofs, and
decentralized systems.

GitHub: https://github.com/aleksandar-veljkovic
LinkedIn: https://www.linkedin.com/in/aleksandarveljkovic/

Mihailo Radojević

Master's student at the Faculty of Electrical Engineering, with graduate studies started in 2023 after completing undergraduate studies at the same institution. Two years of experience in zero-knowledge proofs and cryptography, currently working as an engineer in the 3327 team at Attic42, focusing on zero-knowledge solutions. Worked on two Ethereum Foundation grants — one for adding anonymous poll joining to the MACI protocol and another for developing a stealth address protocol.

GitHub: https://github.com/radojevicMihailo
LinkedIn: https://www.linkedin.com/in/mihailo-radojevic-20a02b252/

Boris Cvitak

Boris graduated in Computer Science from the University of Belgrade, Faculty of Mathematics, and has over three years of experience as a Software Engineer. Starting as a Teaching Assistant at the Department of Computer Science, Boris began researching cryptography and zero-knowledge proofs, sparking a passion for their practical applications. For two years, he has been working with 3327 R&D contributing to projects at the intersection of cryptography, machine learning, and security systems. Combining a strong mathematical foundation with engineering expertise, Boris focuses on advancing cryptographic solutions for real-world challenges in the tech industry.

GitHub: https://github.com/djanluka/
LinkedIn: https://www.linkedin.com/in/boris-cvitak/

Anđela Jovanović

Anđela is currently pursuing her Bachelor's degree in Computer Science at the Faculty of Mathematics, University of Belgrade. She has a background in software development, optimization algorithms, and blockchain technology. She gained hands-on experience at MVP Workshop, where she worked on ZKSim - a VS Code extension for simulating zero-knowledge circuits. Her projects include implementing an LLVM Loop Tiling Optimization Pass, migrating Ethereum’s MPT to iAVL+, and solving the NP-hard Minimum Edge Coloring problem.

GitHub: http://github.com/andjixi
LinkedIn: http://linkedin.com/in/andjixi

Stefan Mitrović

Stefan received his Bachelor’s degree in Computer Science from the Faculty of Mathematics, University of Belgrade, Serbia, in 2024. His expertise spans cryptography, Web3, and software development. He participated in the Web3 Camp at Petnica Science Center and specialized in Zero-Knowledge Proofs at the Mathematics Academy. Currently, Stefan works as a Research & Developer at the 3327 R&D department of MVP Workshop, where he explores advanced cryptographic applications, such as AES-128 implementation in Noir and recursive proofs. He also contributed to SKProof, a Python library enabling execution proofs for machine learning models using the Noir language and PLONK proofs. Stefan is passionate about blockchain security, zk-SNARKs, and decentralized application development. His open-source contributions include projects on smart wallets, computational intelligence, and interactive theorem proving.

GitHub: https://github.com/cefika
LinkedIn: https://linkedin.com/in/cefika

---

We are including two junior developers in the team as they have already started working with Noir within our organization. This project presents an excellent opportunity to onboard them deeper into the Noir and Semaphore ecosystems. By doing so, we not only expand our internal expertise but also contribute to growing the Noir community by training new talent on one of the most impactful ZK projects.

Timeline and Deliverables

🟢 Start Date: March 10, 2025

📌 Milestone 1: Core Noir Circuits & Verification

📆 Duration: 1 month

Deliverables:

✅ Implement Semaphore circuits in Noir
✅ Develop unit tests for circuit correctness
✅ Integrate UltraPLONK-based proof verification
✅ Adapt smart contracts for Noir proofs

📅 Estimated Delivery: April 10, 2025

📌 Milestone 2: SDK, Testing, and Documentation

📆 Duration: 1 month

Deliverables:

✅ Modify Semaphore SDK to support Noir-based proof generation
✅ Develop full integration tests covering the entire workflow
✅ Provide developer-focused documentation and tutorials
✅ Benchmark performance, proof generation, and verification cost comparisons between the systems based on Groth16 and UltraPLONK proofs

📅 Estimated Delivery: May 10, 2025

🎯 Final Deliverables & Completion

• Fully functional Semaphore integration in Noir
• Comprehensive documentation for developers
• Performance & security benchmark statistics
• Open-source code release & community engagement
• Walkthrough video demonstration

🚀 Project Completion: May 2025