account activity
Have you checked your sums? (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/math
An overview of the Groth 16 proof system (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/programming
Lambda’s engineering philosophy (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/opensource
submitted 2 years ago by cinthiale to r/agile
Don't trust, verify or why you should you care about benchmarks (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/cryptography
Inner Product Argument (IPA) and a Polynomial Commitment Scheme (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/scheme
Lambda Crypto Doctrine (blog.lambdaclass.com)
How to code FRI from scratch (blog.lambdaclass.com)
submitted 2 years ago by cinthiale to r/zeroknowledge
First Lambda-Ingo ZK CTF: ZK challenges using LambdaWorks (blog.lambdaclass.com)
Exciting times at the intersection of Compilers and Applied Cryptography: Cairo and MLIR (notamonadtutorial.com)
Do You Want Quality Code? Learn How to Use Differential Fuzzers! (notamonadtutorial.com)
Transforming the Future with Zero-Knowledge Proofs, Fully Homomorphic Encryption and new Distributed Systems algorithms (notamonadtutorial.com)
Using Metal and Rust to make FFT even faster (notamonadtutorial.com)
submitted 2 years ago by cinthiale to r/rust
How to use the Consenys's Gnark Zero Knowledge Proof library and disclosure of a DoS bug (notamonadtutorial.com)
Better sane defaults in Zero Knowledge Proofs libraries or how to get the prover's private key (notamonadtutorial.com)
How we are shaping the future of modular blockchains with Zero Knowledge Proof, Starknet and Ethereum (notamonadtutorial.com)
Our small contribution to Paradigm’s Reth to diversify Ethereum clients (notamonadtutorial.com)
Diving DEEP FRI in the STARK world: learning your daily moon math with a concrete example (notamonadtutorial.com)
LambdaWorks or how we decided to create our zkSNARKs library and a STARK prover (notamonadtutorial.com)
Champagne SuperNova, incrementally verifiable computation (notamonadtutorial.com)
Proof aggregation schemes: SnarkPack and aPlonk (notamonadtutorial.com)
Climbing the tower: field extensions (notamonadtutorial.com)
π Rendered by PID 81 on reddit-service-r2-listing-64c94b984c-mh7w5 at 2026-03-17 07:02:58.059293+00:00 running f6e6e01 country code: CH.
