• Stars
    star
    42
  • Rank 636,134 (Top 13 %)
  • Language
    Solidity
  • Created about 2 years ago
  • Updated about 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Export Circom verifier to Cairo

More Repositories

1

lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Rust
559
star
2

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Rust
459
star
3

starknet_in_rust

A Rust implementation of Starknet execution logic
Rust
168
star
4

erlings

Small exercises to get you used to reading and writing Erlang code
Erlang
164
star
5

lambdaclass_hacking_learning_path

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
164
star
6

riak_core_tutorial

An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
Erlang
149
star
7

merkle_patricia_tree

Patricia Merkle Tree implementation in Rust
Rust
148
star
8

options_backtester

Simple backtesting software for options
Jupyter Notebook
147
star
9

STARK101-rs

STARK 101 Workshop in Rust πŸΊπŸ¦€
Jupyter Notebook
122
star
10

sparkling_water_bootcamp

Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
120
star
11

concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
Rust
113
star
12

cairo_native

A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Rust
101
star
13

finance_playground

Juypter notebooks playground to explore and analyse economy and finance ideas
Jupyter Notebook
93
star
14

webrtc-server

Signaling and ICE servers for WebRTC in Erlang
Erlang
91
star
15

lambdaworks_stark_platinum

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
76
star
16

lambda_ethereum_consensus

Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
Elixir
71
star
17

holiday_pinger

Erlang + ClojureScript app to send holiday reminders
Erlang
69
star
18

stark_compass_explorer

Stark Compass: the only open source explorer
Elixir
66
star
19

AES_zero_knowledge_proof_circuit

Rust
65
star
20

mina_bridge

Bridge from Mina to Ethereum
TypeScript
62
star
21

erlang-katana

πŸ‘Œ erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)
Erlang
61
star
22

yet-another-swap

YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
Cairo
54
star
23

starknet_tendermint_sequencer

Starknet sequencer built with Tendermint Core
Rust
52
star
24

cairo-vm_in_go

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Go
50
star
25

libtorrent-rs

A Rust implementation of the BitTorrent V2 protocol
Rust
49
star
26

zksync_era_precompiles

Yul precompile library to speedup elliptic curves operations.
Rust
47
star
27

curse_of_mirra

Curse of Mirra game codebase
C#
42
star
28

starknet_stack

Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
Rust
41
star
29

throttle

Erlang/OTP application to rate limit resource access
Erlang
40
star
30

pinocchio_lambda_vm

Zero Knowledge Virtual Machine from scratch implementing Pinocchio
Rust
36
star
31

cairo-by-example

cairo-by-example.com
Shell
36
star
32

buzzconf

A conference by devs for devs. Functional Programming, Distributed Systems, Big Data and Machine Learning Conference in Buenos Aires, Argentina
HTML
34
star
33

julia_koans

Small exercises to get you used to reading and writing Julia code!
Julia
31
star
34

noir_backend_using_gnark

A Noir's backend implementation using Gnark
Go
29
star
35

zksync-web3-rs

Rust
28
star
36

cairo-vm-py

cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
Rust
22
star
37

mirra_backend

Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
Elixir
22
star
38

lambdaworks_kzg

An ABI compatible for KZG EIP-4844 in Rust
Rust
22
star
39

aleo_lambda_vm

Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
Rust
19
star
40

simpleworks

Arkworks made simple for us: the non cryptographer software plumbers
Rust
19
star
41

cairo-vm.c

cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
C++
19
star
42

programming_bitcoin_in_rust

Implementing the book "Programming Bitcoin" in Rust
Rust
17
star
43

tornado_cash_anonymity_tool

Anonymity Research Tools for TCash Users
Jupyter Notebook
17
star
44

starknet_prover

15
star
45

aleo_lambda_blockchain

Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
Rust
15
star
46

austral.rs

An implementation of the Austral language compiler in Rust
Rust
14
star
47

lambdaworks_exercises

Contains several examples and challenges to use Lambdaworks
Rust
14
star
48

aleo_minimum_anti_collusion_infrastructure

Aleo's Minimum Anti-Collusion Infrastructure / MACI
Rust
13
star
49

starknet_rollup_on_bitcoin

Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
Rust
13
star
50

lambda_consensus

Ethereum Consensus Client
12
star
51

starknet_kraken

Kraken is a Starknet modular decentralized sequencer implementation.
Rust
11
star
52

cairo_karnak

Cairo bytecode compiler
10
star
53

data_etudes

LambdaClass statistics, machine learning and data science etudes
Jupyter Notebook
10
star
54

reconnections

We were tired of implementing a reconnection system for our database clients so we created this
Erlang
10
star
55

find_peers

Find other erlang peers in the same subnet
Erlang
9
star
56

PLONK101-rs

9
star
57

elephant_in_the_room

Simple wordpress replacement coded in Elixir + Phoenix + Ecto + PostgreSQL + Docker
CSS
9
star
58

zksync_stack

Makefile
9
star
59

game_of_life_wasm

Conway's Game of Life in Rust and WebAssembly
Rust
8
star
60

cairo_codegen-rs

A Rust library providing a builder API to generate Cairo code
8
star
61

lambda_msm_fpga

Low level (VHDL) hardware description for MSM acceleration over FPGA
Python
8
star
62

zkRust

Rust
8
star
63

ieeextreme

Course material for students who want to go from zero to participating in the IEEExtreme competence using Python
Jupyter Notebook
7
star
64

pinpon

πŸ“ lambdaclass ping pong tournament and player ranking
Python
7
star
65

entropy_hacking_learning_path

Entropy1729's Learning path
7
star
66

metal_playground

A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
Rust
7
star
67

aleo_roulette

Elixir
6
star
68

elixir_riak_core

Wrapper to Riak Core for Elixir
Elixir
6
star
69

cairo_finance

Cairo finance utilities
Cairo
6
star
70

lambdaworks_plonk_prover

6
star
71

bonobot

accept the mystery
Python
6
star
72

beam_prometheus_exporter

Add this to your release to get standard erlang metrics in prometheus/grafana
Erlang
6
star
73

lager_logstash_backend

Send lager logs to logstash
Erlang
6
star
74

curse_of_mirra_assets

Open source game assets: 3D models, 2d concept art, lore, music and more!
6
star
75

mithril-oxide

Bindings to MLIR using the full C++ API
Rust
6
star
76

fuzzing_examples

A collection of fuzzers built using Honggfuzz and Cargofuzz tools
Rust
5
star
77

data_science_exercise

Data science exercise
Jupyter Notebook
5
star
78

blockaderl

Blockade docker API wrapper written in Erlang
Erlang
5
star
79

starknet_orb

5
star
80

ethereum_war_game_tooling

We are slow while using the UI/UX of crypto wallets so we created our CLI version
Elixir
5
star
81

erlang_log_to_kibana_example

Redirect Erlang shell output to kibana via logstash
Shell
5
star
82

million_requests_per_second

Trying to achieve a few millions requests per second with different languages, libraries and protocol
Ruby
5
star
83

tendermint_consensus

Tendermint Consensus is a minimalistic implementation of the BFT consensus algorithm to securely replicate state machines on multiple machines.
4
star
84

guidelines

Design and coding standards for LambdaClass
4
star
85

zksync_era_cli

CLI tool for zkSync Era, built using zksync-web3-rs SDK
Rust
4
star
86

go-http-ipfs

HTTP server in Go to interact with a local IPFS node
Go
4
star
87

cairo_wnn

Cairo Weightless Neural Network
4
star
88

cairo-rs-wasm

Rust
4
star
89

aggregation_aligned_layer

Rust
3
star
90

chaos_monkey_ex

A Chaos Monkey for Elixir that kills random processes
Elixir
3
star
91

wasm2cairo

3
star
92

merkletree_leo

3
star
93

concrete-ml-fuzzer

A differential fuzzer for `concrete-ml` and `scikit-learn`
Python
3
star
94

consensus-workbench

Proof of concept Rust implementations for various distributed systems protocols
Rust
3
star
95

lambcast

A Farcaster client implementation in Elixir
Elixir
3
star
96

events

Calendar of Lambda's public events
2
star
97

Rust_Merkle_Tree

Implementation of a Merkle Tree in Rust
Rust
2
star
98

datalog

Datalog in Elixir
Elixir
2
star
99

Phoenix-learning-path-projects

Elixir
2
star
100

zksync_l3_poc

Proof of Concept of what a zkSync Era's L3 would look like
TypeScript
2
star