Alp Bassa, Author at Smart contract audits from Veridise

Skip to content

Services
AuditHub
- Tools
Resources
Blog
About
- Our team
- Careers
Contact

About us
AuditHub
Audits
Audits archive
Blog
Careers
- Veridise Careers: Formal Methods Researcher for ZK
- Veridise Careers: Tooling Software Engineer
Client testimonials
Contact us
Our team
Privacy Policy
Publications
Request Audit
Services
Smart contract audits from Veridise
Terms of Service
Tools
Resources
Security research
Zero-Knowledge Security

Alp Bassa

Head of Cryptography

Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields

Nov 20

| 4 min read

Nov 20

| 4 min read

ZK Fundamentals: Proof Systems

Feb 22

| 12 min read

Feb 22

| 12 min read

ZK Fundamentals: Intermediate Representations

Feb 2

| 13 min read

Feb 2

| 13 min read

ZK Fundamentals: Succinctness

Jan 13

| 10 min read

Jan 13

| 10 min read

ZK Fundamentals: The Fiat-Shamir Transform

Dec 22

| 9 min read

Dec 22

| 9 min read

ZK Fundamentals: Zero-Knowledge Proofs

Dec 2

| 9 min read

Dec 2

| 9 min read

ZK Fundamentals: Interactive Proofs

Nov 9

| 9 min read

Nov 9

| 9 min read

ZK Fundamentals: What is a proof?

Oct 28

| 9 min read

Oct 28

| 9 min read

Intro to Nova & ZK Folding Schemes: The Nuts and Bolts of Folding

Oct 13

| 13 min read

Oct 13

| 13 min read

contact@veridise.com

Request an audit

Terms of Service

contact@veridise.com

Terms of Service

Request an audit

X-twitter Github Youtube Linkedin

Copyright © 2025 Veridise

Services
AuditHub
- Tools
Resources
Blog
About
- Our team
- Careers
Contact
Request Audit

Veridise and its partners use cookies to ensure that we give you the best experience on our website. By remaining on this website, you consent to our use of cookies.I Accept