@cinthia_ledesma
633 sats stacked
stacking since: #119724
bio
11 items
by
for
Exciting times at the intersection of Compilers and Applied Cryptographywww.notamonadtutorial.com/cairo-and-mlir/
30 sats \ 0 comments \ @cinthia_ledesma 4 May 2023 bitcoin
All you wanted to know about Plonkwww.notamonadtutorial.com/all-you-wanted-to-know-about-plonk/
1 sat \ 0 comments \ @cinthia_ledesma 2 May 2023 bitcoin
How to get a true headache: brute forcing NTRUwww.notamonadtutorial.com/how-to-get-a-true-headache-brute-forcing-ntru/
0 sats \ 0 comments \ @cinthia_ledesma 25 Apr 2023 bitcoin
Incrementally verifiable computation: NOVAwww.notamonadtutorial.com/incrementally-verifiable-computation-nova/
0 sats \ 0 comments \ @cinthia_ledesma 23 Jan 2023 bitcoin
Symmetric encryptionwww.notamonadtutorial.com/symmetric-encryption/
10 sats \ 0 comments \ @cinthia_ledesma 18 Jan 2023 bitcoin
Arithmetization schemes for ZK-SNARKswww.notamonadtutorial.com/arithmetization-schemes-for-zk-snarks/
100 sats \ 0 comments \ @cinthia_ledesma 16 Jan 2023 bitcoin
How to transform code into arithmetic circuitswww.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/
110 sats \ 0 comments \ @cinthia_ledesma 16 Jan 2023 bitcoin
Pinocchio Virtual Machine: Nearly Practical Verifiable Computationwww.notamonadtutorial.com/pinocchio-virtual-machine-nearly-practical-verifiable-computation/
100 sats \ 0 comments \ @cinthia_ledesma 16 Jan 2023 bitcoin
Decentralized private computation: ZEXE and VERI-ZEXEwww.notamonadtutorial.com/decentralized-private-computations-zexe-and-veri-zexe/
0 sats \ 0 comments \ @cinthia_ledesma 13 Jan 2023 bitcoin
The hunting of the (zk)-SNARKwww.notamonadtutorial.com/the-hunting-of-the-zk-snark/
325 sats \ 0 comments \ @cinthia_ledesma 11 Jan 2023 bitcoin freebie
Verifiable AES: encryption using zero-knowledge proofswww.notamonadtutorial.com/verifiable-encryption-using-zero-knowledge-proofs/
11 sats \ 1 comment \ @cinthia_ledesma 9 Jan 2023 bitcoin freebie
GENESIS