Tyler Diamond, Author at Smart contract audits from Veridise
[go: up one dir, main page]
Picture of Tyler Diamond

Tyler Diamond

Security Analyst
How to write and audit a secure zkVM application: A practical example with RISC Zero

How to write and audit a secure zkVM application: A practical example with RISC Zero

Picture of Tyler Diamond
Tyler Diamond

Jul 16

| 10 min read

Read

Picture of Tyler Diamond
Tyler Diamond

Jul 16

| 10 min read

Read

Blog post cover for the zkVM security series part 2 on common zkVM vulnerabilities

Identifying common vulnerabilities in zkVMs

Picture of Tyler Diamond
Tyler Diamond

Jul 1

| 10 min read

Read

Picture of Tyler Diamond
Tyler Diamond

Jul 1

| 10 min read

Read

Blog post cover for introduction to zero-knowledge virtual machines

An introduction to zero-knowledge virtual machines (zkVMs)

Picture of Tyler Diamond
Tyler Diamond

Jun 20

| 7 min read

Read

Picture of Tyler Diamond
Tyler Diamond

Jun 20

| 7 min read

Read

Contact us for a security audit quote

Secure an earlier audit slot by reaching out early.

 

* mandatory fields