|
Novel techniques for zkVM design
|
|
6
|
1555
|
October 27, 2023
|
|
Twamm with zk to hide iceberg order details
|
|
1
|
1760
|
October 24, 2023
|
|
Jolt and Lasso, a New Approach to Building zkVM — Part 2
|
|
0
|
1043
|
October 17, 2023
|
|
Composable AirScript
|
|
2
|
2093
|
September 12, 2023
|
|
Jolt and Lasso: A New Approach to Building zkVMs
|
|
0
|
1372
|
August 23, 2023
|
|
Private Proof of Burn (PPoB) + Call-free Smart-Contract interactions
|
|
1
|
1204
|
August 16, 2023
|
|
zkMIPS: What “Security” Means for Our zkVM’s Proofs (Part 2)
|
|
0
|
861
|
August 14, 2023
|
|
zkMIPS: What “Security” Means for Our zkVM’s Proofs (Part 1)
|
|
0
|
1083
|
August 14, 2023
|
|
Roll_up / roll_back snark side chain ~17000 tps
|
|
17
|
20106
|
August 1, 2023
|
|
Transaction Malleability Attack of Groth16 Proof
|
|
2
|
1892
|
July 3, 2023
|
|
Aggregating pairings with SIPP in plonky2
|
|
1
|
1597
|
June 15, 2023
|
|
A simple persistent pseudonym scheme
|
|
6
|
2681
|
May 30, 2023
|
|
Towards World Supercomputer
|
|
8
|
4853
|
May 23, 2023
|
|
ERC721 Extension for zk-SNARKs
|
|
25
|
28216
|
May 17, 2023
|
|
Designated Verifier Signatures
|
|
3
|
2528
|
May 13, 2023
|
|
An idea about how to use zk-vms with the Edge Computing Achitectures in Ethereum
|
|
7
|
1786
|
April 21, 2023
|
|
Bringing IBC to Ethereum using ZK-Snarks
|
|
20
|
17215
|
April 12, 2023
|
|
Using GKR inside a SNARK to reduce the cost of hash verification down to 3 constraints
|
|
24
|
13060
|
January 30, 2023
|
|
zkPoS with Halo2-pairing for verifying aggregate BLS signatures
|
|
1
|
2864
|
January 24, 2023
|
|
SNARKed Merkle Sum Tree: A Practical Proof-of-Solvency Protocol based on Vitalik's Proposal
|
|
7
|
4014
|
January 11, 2023
|
|
Introducing Distaff: a STARK-based VM written in Rust
|
|
5
|
5647
|
January 10, 2023
|
|
Potential vulnerability in zk-Rollup systems
|
|
0
|
1120
|
January 10, 2023
|
|
Guarding from proof replay for authentication scenarios
|
|
0
|
1446
|
December 23, 2022
|
|
Vortex : building a prover for the zk-EVM
|
|
1
|
3254
|
December 22, 2022
|
|
Efficient ECDSA signature verification using Circom
|
|
8
|
6331
|
November 30, 2022
|
|
GroLup: Plookup for R1CS
|
|
2
|
2152
|
November 29, 2022
|
|
A browser based snark proof generation library for integrating zk proofs in only a few lines of code
|
|
5
|
2378
|
November 14, 2022
|
|
Trusted setup with Intel SGX?
|
|
5
|
3175
|
October 18, 2022
|
|
Miden VM v0.2: new VM architecture for a zk-rollup
|
|
3
|
3871
|
August 21, 2022
|
|
Performance improvement for GKR
|
|
4
|
3040
|
August 21, 2022
|