Learn blockchain

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 read

Read

Picture of Tyler Diamond
Tyler Diamond

Jul 16

| 10 read

Read

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

Mastering o1js on Mina: Four key strategies for secure development

Picture of Ben Sepanski
Ben Sepanski

Feb 19

| 9 min read

Read

Picture of Ben Sepanski
Ben Sepanski

Feb 19

| 9 min read

Read

A16Z hosts Isil Dillig: Formal methods for zero-knowledge systems

Picture of Mikko Ikola
Mikko Ikola

Jan 8

| 7 min read

Read

Picture of Mikko Ikola
Mikko Ikola

Jan 8

| 7 min read

Read

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

Picture of Ian Neal
Ian Neal

Oct 16

| 15 min read

Read

Picture of Ian Neal
Ian Neal

Oct 16

| 15 min read

Read

Lessons from the auditing trenches: “What do ZK developers get wrong?”

Picture of Kostas Ferles
Kostas Ferles

Aug 7

| 6 min read

Read

Picture of Kostas Ferles
Kostas Ferles

Aug 7

| 6 min read

Read

Developing securely on Aleo blockchain: Common vulnerability patterns

Picture of Jon Stephens
Jon Stephens

Jun 26

| 3 min read

Read

Picture of Jon Stephens
Jon Stephens

Jun 26

| 3 min read

Read

ZK security workshop recap: Winners and presentations

Picture of Mikko Ikola
Mikko Ikola

Mar 26

| 5 min read

Read

Picture of Mikko Ikola
Mikko Ikola

Mar 26

| 5 min read

Read

How to develop securely on Soroban? Storage types with unbounded data

Picture of Alberto Gonzalez
Alberto Gonzalez

Mar 16

| 5 min read

Read

Picture of Alberto Gonzalez
Alberto Gonzalez

Mar 16

| 5 min read

Read