Zero-knowledge

Inside SP1 with Tamir Hemo: Succinct’s Approach to ZK-VM Performance & Security

Feb 23

| 8 read

Feb 23

| 8 read

Common pitfalls when handling records in Aleo: Validations, parity, and privacy

Jan 20

| 15 read

Jan 20

| 15 read

How records work in Aleo: The foundation of private state in Leo

Jan 13

| 12 read

Jan 13

| 12 read

Proximity Gap and Correlated Agreement

Nov 19

| 15 min read

Nov 19

| 15 min read

Veridise at CAV 2025: Advancing the science of zero-knowledge verification

Sep 2

| 4 min read

Sep 2

| 4 min read

Announcing LLZK: A unified, open-source intermediate representation (IR) for zero-knowledge languages

Shankara Pailoor

Aug 19

Shankara Pailoor

Aug 19

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

Jul 16

| 10 min read

Jul 16

| 10 min read

Identifying common vulnerabilities in zkVMs

Jul 1

| 10 min read

Jul 1

| 10 min read

An introduction to zero-knowledge virtual machines (zkVMs)

Jun 20

| 7 min read

Jun 20

| 7 min read