From 88e7fdd8daf238eac26c1bf15a40a00fcb4b2e59 Mon Sep 17 00:00:00 2001 From: Diego K <43053772+diegokingston@users.noreply.github.com> Date: Fri, 26 Jan 2024 15:41:13 -0300 Subject: [PATCH] fix table (#783) * fix table * Update README.md * Update README.md --- README.md | 3 ++- examples/README.md | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index eee7fd444..eb0620369 100644 --- a/README.md +++ b/README.md @@ -36,6 +36,8 @@ Both Math and Crypto support wasm with target `wasm32-unknown-unknown`. To see a ## Examples - mini apps - [Merkle Tree CLI](https://github.com/lambdaclass/lambdaworks/tree/main/examples/merkle-tree-cli) +- [Proving Miden](https://github.com/lambdaclass/lambdaworks/tree/main/examples/prove-miden) +- [Shamir's secret sharing](https://github.com/lambdaclass/lambdaworks/tree/main/examples/shamir_secret_sharing) ## Exercises and Challenges - [lambdaworks exercises and challenges](https://github.com/lambdaclass/lambdaworks_exercises/tree/main) @@ -101,7 +103,6 @@ List of symbols: | IPA | 🏗️ | ✔️ | :heavy_check_mark: | :x: | :x: | | Brakedown | :x: | :x: | :x: | :x: | :x: | | Basefold | :x: | :x: | :x: | :x: | :x: | - | **Folding Schemes** | **Lambdaworks** | **Arkworks** | **Halo2** | **gnark** | **Constantine** | | Nova | :x: | :heavy_check_mark: | :x: | :x: | :x: | | Supernova | :x: | :x: | :x: | :x: | :x: | diff --git a/examples/README.md b/examples/README.md index 9b943a638..44075b9ce 100644 --- a/examples/README.md +++ b/examples/README.md @@ -5,7 +5,8 @@ This folder contains examples designed to learn how to use the different tools i ## Examples Below is a list of all lambdaworks examples in the folder: -- [Merkle tree CLI](https://github.com/lambdaclass/lambdaworks/tree/main/examples/merkle-tree-cli): generate inclusion proofs for an element inside a Merkle tree and verify them using a CLI +- [Shamir Secret Sharing](https://github.com/lambdaclass/lambdaworks/tree/main/examples/shamir_secret_sharing): implements example of [Shamir's secret sharing](https://en.wikipedia.org/wiki/Shamir%27s_secret_sharing). Shows use of polynomials and finite fields in lambdaworks. +- [Merkle tree CLI](https://github.com/lambdaclass/lambdaworks/tree/main/examples/merkle-tree-cli): generate inclusion proofs for an element inside a Merkle tree and verify them using a CLI. - [Proving Miden using lambdaworks STARK Platinum prover](https://github.com/lambdaclass/lambdaworks/tree/main/examples/prove-miden): Executes a Miden vm Fibonacci program, gets the execution trace and generates a proof (and verifies it) using STARK Platinum. You can also check [lambdaworks exercises](https://github.com/lambdaclass/lambdaworks/tree/main/exercises) to learn more.